flix

0.70.0

Fixpoint3.Ast.Datalog.HeadPredicate

enum HeadPredicateSource

case HeadAtom(PredSym, BoxedDenotation, Vector[HeadTerm])

Instances

instance PredSymsOf[HeadPredicate]Source

instance SubstitutePredSym[HeadPredicate]Source

instance ToString[HeadPredicate]Source