PredSym

enum PredSym with Eq, OrderSource

case PredSym(String, Int64)

Represents a predicate symbol consisting of a name and a unique identifier.

Instances

instance Eq[PredSym]Source

instance Order[PredSym]Source

instance ToString[PredSym]Source