pub open spec fn uleb128_fmt<const MINIMAL: bool, const N: usize>() -> ULeb128Fmt<MINIMAL, N>Expand description
{ FixWith(ULeb128RecBody::<MINIMAL>, ()) }pub open spec fn uleb128_fmt<const MINIMAL: bool, const N: usize>() -> ULeb128Fmt<MINIMAL, N>{ FixWith(ULeb128RecBody::<MINIMAL>, ()) }