pub open spec fn cbor_fmt<const DET: bool, const LIMIT: usize>() -> FixWith<LIMIT, CborRecBody<DET>, ()>
{ FixWith(CborRecBody::<DET>, ()) }