Top

String-set

Fixtype of finite sets of strings.

This is an ordinary fty::defset.

Subtopics

String-sfix: (string-sfix x) is a usual fty set fixing function.
String-setp: Recognizer for string-set.
String-sequiv: Basic equivalence relation for string-set structures.