Index - O
| onHead' | Data.Type.Product |
| onHeadF | Data.Type.Product.Lifted |
| onIFinPred | Data.Type.Fin.Indexed |
| onIxPred | Data.Type.Index |
| Only | Type.Family.List |
| only | Data.Type.Product |
| onlyF | Data.Type.Product.Lifted |
| only_ | Data.Type.Product |
| onMatrix | Data.Type.Vector |
| onNatPred | Data.Type.Nat |
| onSome | Type.Class.Higher |
| onSome2 | Type.Class.Higher |
| onSome3 | Type.Class.Higher |
| onTail | Data.Type.Vector |
| onTail' | Data.Type.Product |
| onTailF | Data.Type.Product.Lifted |
| Option | Data.Type.Option |
| option | Data.Type.Option |
| Ord1 | Type.Class.Higher |
| Ord2 | Type.Class.Higher |
| Ord3 | Type.Class.Higher |
| outer | Type.Class.Witness |