| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .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) |
| None | option | c | Option('a) |
| Option | option | s | |
| Some | option | f | 'a → Option('a) |
| f | option | v | 'a → 'b |
| opt | option | v | Option('a) |