Skip to main content

mplace_to_raw_bytes

charon_driver::hax::constant_utils::uneval

Function mplace_to_raw_bytes 

Source 
fn mplace_to_raw_bytes<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    ecx: &CompileTimeInterpCx<'tcx>,
    mplace: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, Vec<ConstantByte>>
Expand description

The bytes of a value in memory.