Constraint

enum ConstraintSource

case Constraint(HeadPredicate, Vector[BodyPredicate])

Represents a Datalog fact or rule, consisting of a head predicate and a body.

Instances