Function hax_frontend_exporter::make_fn_def

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

Function hax_frontend_exporter::make_fn_defCopy item path