Expand description
The ASCII
module defines basic string and char newtypes in Move that verify
that characters are valid ASCII, and that strings consist of only valid ASCII characters.
Structs§
- Char
- An ASCII character.
- Char
Type Tag - String
- The
String
struct holds a vector of bytes that all represent valid ASCII characters. Note that these ASCII characters may not all be printable. To determine if aString
contains only “printable” characters you should use theall_characters_printable
predicate defined in this module. - String
Type Tag