| Symbol | Specification | Kind | Type |
|---|
| . .ext | IO-Aut-data | f | IOAutomaton('s, 'a, 'e) → 'a → Option('e) |
| . .get | option | pf | Option('a) → 'a with λ opt. opt ≠ None |
| . .getOrElse ( . ) | option | f | Option('a) × 'a → 'a |
| . .map ( . ) | option | f | Option('a) × ('a → 'b) → Option('b) |
| . .start | IO-Aut-data | f | IOAutomaton('s, 'a, 'e) → 's → Bool |
| . .step | IO-Aut-data | f | IOAutomaton('s, 'a, 'e) → 's × 'a × 's → Bool |
| . o . | option | f | ('b → Option('c)) × ('a → Option('b)) → 'a → Option('c) |
| IOAut | IO-Aut-data | f | ('s → Bool) × ('s × 'a × 's → Bool) × ('a → Option('e)) → IOAutomaton('s, 'a, 'e) |
| IOAutomaton | IO-Aut-data | s | |
| None | option | c | Option('a) |
| Option | option | s | |
| Some | option | f | 'a → Option('a) |
| a | IO-Aut-data | v | 'a |
| e | IO-Aut-data | v | 'e |
| ext | IO-Aut-data | v | 'a → Option('e) |
| ioaut | IO-Aut-data | v | IOAutomaton('s, 'a, 'e) |
| oe | IO-Aut-data | v | Option('e) |
| oinj | option | p | ('a → Option('b)) |
| osurj | option | p | ('a → Option('b)) |
| s | IO-Aut-data | v | 's |
| start | IO-Aut-data | v | 's → Bool |
| step | IO-Aut-data | v | 's × 'a × 's → Bool |