leading_byte_width_3

vstd::utf8

Function leading_byte_width_3 

Source 
pub open spec fn leading_byte_width_3(scalar: u32) -> u8
Expand description
recommends
has_width_3_encoding(scalar),
{ 0xE0 | ((scalar >> 12) & 0x0F) as u8 }

The first byte of the UTF-8 encoding of the given scalar value, assuming that the scalar has a 3-byte UTF-8 encoding.