Fixpoint3.Ast.Datalog.BodyPredicate

enum BodyPredicateSource

case BodyAtom(PredSym, BoxedDenotation, Polarity, Fixity, Vector[BodyTerm])case Functional(Vector[VarSym], Vector[Boxed] -> Vector[Vector[Boxed]], Vector[VarSym])case Guard0(Unit -> Bool)case Guard1(Boxed -> Bool, VarSym)case Guard2(Boxed -> (Boxed -> Bool), VarSym, VarSym)case Guard3(Boxed -> (Boxed -> (Boxed -> Bool)), VarSym, VarSym, VarSym)case Guard4(Boxed -> (Boxed -> (Boxed -> (Boxed -> Bool))), VarSym, VarSym, VarSym, VarSym)case Guard5(Boxed -> (Boxed -> (Boxed -> (Boxed -> (Boxed -> Bool)))), VarSym, VarSym, VarSym, VarSym, VarSym)

Instances

instance PredSymsOf[BodyPredicate]Source

instance SubstitutePredSym[BodyPredicate]Source

instance ToString[BodyPredicate]Source