		Search-engine friendly clone of the ACL2 documentation.

Char-list

Fixtype of lists of Leo characters.

This is an ordinary fty::deflist.

Char-list-fix: (char-list-fix x) is a usual ACL2::fty list fixing function.
Char-list-equiv: Basic equivalence relation for char-list structures.
Char-listp: (char-listp x) recognizes lists where every element satisfies charp.