pub open spec fn cbor_body<const DET: bool>(
rec: ParamRecSpecs<(), CborValueSpec>,
) -> CborBodyFmt<DET>Expand description
{ CborBodyFmt { rec: Ghost(rec) } }pub open spec fn cbor_body<const DET: bool>(
rec: ParamRecSpecs<(), CborValueSpec>,
) -> CborBodyFmt<DET>{ CborBodyFmt { rec: Ghost(rec) } }