Comm
Fixtype of Imp commands.
This is a tagged union type, introduced by fty::deftagsum.
Member Tags → Types
- :asg → comm-asg
- :if → comm-if
- :while → comm-while
We have assignments, conditionals, and loops.
It is convenient to capture sequentialization via command lists;
note that the branches of conditionals and the body of loops
are command lists, not single commands.
Subtopics
- Comm-case
- Case macro for the different kinds of comm structures.
- Comm-if
- Comm-equiv
- Basic equivalence relation for comm structures.
- Comm-while
- Comm-asg
- Commp
- Recognizer for comm structures.
- Comm-kind
- Get the kind (tag) of a comm structure.
- Comm-fix
- Fixing function for comm structures.
- Comm-count
- Measure for recurring over comm structures.
