pub open spec fn terminal_byte() -> TerminalByteExpand description
{ Refined(U8, |b: u8| b < CONTINUATION_BIT) }Check that high bit is not set.
pub open spec fn terminal_byte() -> TerminalByte{ Refined(U8, |b: u8| b < CONTINUATION_BIT) }Check that high bit is not set.