flix

0.79.0
Prelude / Fixpoint3 / Ast / Datalog / HeadPredicate

HeadPredicate

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

Represents the head atom of a Datalog constraint.

Instances

PredSymsOf, SubstitutePredSym, ToString