hax_
frontend_
exporter
0.1.0-alpha.1
In hax_
frontend_
exporter::
body::
module
hax_frontend_exporter
::
body
::
module
Function
body_from_id
Copy item path
source
pub fn body_from_id<'tcx, Body:
IsBody
, S:
UnderOwnerState
<'tcx>>( id:
BodyId
, s:
&S
, ) -> Body