has_width_2_encoding

vstd::utf8

Function has_width_2_encoding 

Source 
pub open spec fn has_width_2_encoding(v: u32) -> bool
Expand description
{ 0x80 <= v <= 0x7FF }

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