hax_frontend_exporter::body::module

Function body_from_id

source
pub fn body_from_id<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>>(
    id: BodyId,
    s: &S,
) -> Body