Module essential_types::predicate

Predicates

Types needed to represent a predicate.

Structs

• Predicate
  An individual predicate to be solved.

Enums

• Directive
  The directive for the predicate.