flix

0.73.0

Fixpoint3.Ast.Datalog.Fixity

enum FixitySource
case Loosecase Fixed