Index - O
| occurrences | Language.Rzk.VSCode.ReferenceIndex |
| Op | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Names |
| openScoped | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| openWith | Language.Rzk.Foil.Syntax |
| OutputDirection | Rzk.TypeCheck.Error, Rzk.TypeCheck |