codepoint_width_3

vstd::utf8

Function codepoint_width_3 

Source 
pub open spec fn codepoint_width_3(byte1: u8, byte2: u8, byte3: u8) -> u32
Expand description
recommends
is_leading_byte_width_3(byte1),
is_continuation_byte(byte2),
is_continuation_byte(byte3),
{
    (leading_bits_width_3(byte1) << 12) | (continuation_bits(byte2) << 6)
        | continuation_bits(byte3)
}

The codepoint encoded by the given 3 bytes, assuming that they are a valid leading and continuation bytes, respectively, for 3-byte UTF-8 encoding.