flix

0.78.0
Prelude / Fixpoint3 / Ast / Datalog / Fixity

Fixity

enum FixitySource
case Loosecase Fixed

Represents whether a body atom is Fixed (evaluated only against the full relation) or Loose.