char_is_scalar

vstd::utf8

Function char_is_scalar 

Source 
pub broadcast proof fn char_is_scalar(c: char)
Expand description
ensures
is_scalar(#[trigger] (c as u32)),

A char always represents a Unicode scalar value.