S-char-list
Fixtype of lists of characters and escape sequences
usable in string literals [C:6.4.5] [C:A.1.6].
Characters and escape sequences usable in string literals
are defined in s-char.
Subtopics
- S-char-list-fix
- (s-char-list-fix x) is a usual ACL2::fty list fixing function.
- S-char-list-equiv
- Basic equivalence relation for s-char-list structures.
- S-char-listp
- (s-char-listp x) recognizes lists where every element satisfies s-char-p.