Structs§
Enums§
- Change
- Change a function entry.
- Generic
Action - Generic
Expr - Generic
Fact - Facts are the left-hand side of a [
Command::Rule]. They represent a part of a database query. Facts can be expressions or equality constraints between expressions. - Literal
- Rule
Eval Mode - How a rule is evaluated. The three modes are mutually exclusive, so they
share one field on
GenericRule.