has_width_3_encoding

vstd::utf8

Function has_width_3_encoding 

Source 
pub open spec fn has_width_3_encoding(v: u32) -> bool
Expand description
{ 0x800 <= v <= 0xFFFF && !(0xD800 <= v <= 0xDFFF) }

True when the given value is a Unicode scalar with a 3-byte UTF-8 encoding.