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.
- Case macro for the different kinds of comm structures.
- Basic equivalence relation for comm structures.
- Recognizer for comm structures.
- Get the kind (tag) of a comm structure.
- Fixing function for comm structures.
- Measure for recurring over comm structures.