Fixpoint3.Ast.Ram.RelSym

enum RelSymSource

case Symbol(PredSym, Int32, BoxedDenotation)

RelSym(predSym, arity, den) represents the relation of predSym which has arity arity and denotation den.

instance Eq[RelSym]Source

instance Order[RelSym]Source

instance PredSymsOf[RelSym]Source

instance SubstitutePredSym[RelSym]Source

instance ToString[RelSym]Source