Index - O
| onHead' | Data.Type.Product |
| onHeadF | Data.Type.Product.Dual |
| Only | Type.Family.List |
| only | Data.Type.Product |
| onlyF | Data.Type.Product.Dual |
| only_ | Data.Type.Product |
| onMatrix | Data.Type.Vector |
| onSome | Data.Type.Quantifier |
| onTail | Data.Type.Vector |
| onTail' | Data.Type.Product |
| onTailF | Data.Type.Product.Dual |
| Option | Data.Type.Option |
| option | Data.Type.Option |
| outer | Type.Class.Witness |