| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . .getL | either | pf | Either('a, 'b) → 'a with λ either. ∃ a. either = Left(a) |
| . .getR | either | pf | Either('a, 'b) → 'b with λ either. either.isRight |
| . .isRight | either | p | Either('a, 'b) |
| Either | either | s | |
| Left | either | f | 'a → Either('a, 'b) |
| Right | either | f | 'b → Either('a, 'b) |
| a | either | v | 'a |
| b | either | v | 'b |
| either | either | v | Either('a, 'b) |
| getL | either | v | 'a |
| getR | either | v | 'b |