flix
enum PredSym with Eq, Order
case PredSym(String, Int64)
Represents a predicate symbol consisting of a name and a unique identifier.
Eq, Order, ToString