Index - O
| occurs | |
| 1 (Function) | Language.TEval.TInfTM |
| 2 (Function) | Language.TEval.TInfTEnv |
| 3 (Function) | Language.TEval.TInfT |
| 4 (Function) | Language.TEval.TInfLetP |
| 5 (Function) | Language.TEval.TInfLetI |
| oddand4t | Language.TypeFN |
| oddand5 | Language.TypeFN |
| one | Data.Numerals |
| OpenEqs | Control.Poly2 |
| Ords | Control.Poly2 |
| Otherwise | Control.Poly2 |
| outRes | |
| 1 (Function) | Control.Generator1 |
| 2 (Function) | Control.Generator2 |
| outResP | Control.Generator2 |
| own | Lambda.CFG |
| own' | Lambda.Semantics |