flix

0.79.0
Prelude / Fixpoint3 / Ast / Datalog / Fixity

Fixity

enum FixitySource
case Loose
case Fixed

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