| Misc | Misc |
| Ident | Identifiers |
| Intbits | Bit level operations on |
| Types | Types |
| Expr | Expressions and values |
| Type_expr | |
| Typing | Typing |
| Builtins | Builtin operations |
| Eval | Evaluating and manipulating expressions |
| Condition | Trigerring condition for transitions |
| Action | Actions associated to transitions |
| Global | Global objects |
| Fsm | Reactive Finite State Machines |
| Sysm | System description as a composition of FSM instances and global objects |
| Fsm_dyn | Dynamic model of FSM instances (used by the simulator) |
| Stimuli | Events and stimuli |
| Simul | The simulator |