flix

0.78.0
Prelude / Fixpoint3 / Ast / Datalog / HeadPredicate

HeadPredicate

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

Represents the head atom of a Datalog constraint.

Instances

instance PredSymsOf[HeadPredicate]Source
instance SubstitutePredSym[HeadPredicate]Source
instance ToString[HeadPredicate]Source