Skip to main content

is_valid_utf8

Function is_valid_utf8 

Source
pub exec fn is_valid_utf8(bytes: &[u8]) -> res : bool
Expand description
ensures
res == vstd::utf8::valid_utf8(bytes.deep_view()),