has_width_4_encoding

vstd::utf8

Function has_width_4_encoding 

Source 
pub open spec fn has_width_4_encoding(v: u32) -> bool
Expand description
{ 0x10000 <= v <= 0x10FFFF }

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