hax_frontend_exporter::body::module

Function make_fn_def

source 
pub fn make_fn_def<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>>(
    fn_sig: &FnSig<'_>,
    body_id: &BodyId,
    s: &S,
) -> FnDef<Body>