Rule
Fixtype of rules.
This is a product type introduced by fty::defprod.
Fields
- name — rulename
- incremental — booleanp
- definiens — alternation
In the abstract syntax,
we formalize a rule as consisting of
a rule name,
an indication of whether the rule provides incremental alternatives
[RFC:3.3],
and an alternation that defines the rule.
This corresponds to rule rule in [RFC:4],
abstracting away comments and blank space.
Subtopics
- Rule-fix
- Fixing function for rule structures.
- Rulep
- Recognizer for rule structures.
- Rule-equiv
- Basic equivalence relation for rule structures.
- Make-rule
- Basic constructor macro for rule structures.
- Rule->incremental
- Get the incremental field from a rule.
- Change-rule
- Modifying constructor for rule structures.
- Rule->definiens
- Get the definiens field from a rule.
- Rule->name
- Get the name field from a rule.
