RelSym
enum RelSymSourcecase Symbol(PredSym, Int32, BoxedDenotation)RelSym(predSym, arity, den) represents the relation of predSym
which has arity arity and denotation den.
enum RelSymSourcecase Symbol(PredSym, Int32, BoxedDenotation)RelSym(predSym, arity, den) represents the relation of predSym
which has arity arity and denotation den.