Index - C
| cmpSucc | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| cmpSuccStepR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| cmpZero | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| cmpZero' | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
| coerceLeqL | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| coerceLeqR | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| Compare | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| CompareSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| CompareSym1 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| CompareSym2 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
| Comparing | Data.Type.Natural.Builtin |
| ComparingSym0 | Data.Type.Natural.Builtin |
| ComparingSym1 | Data.Type.Natural.Builtin |
| ComparingSym2 | Data.Type.Natural.Builtin |
| ComparingSym3 | Data.Type.Natural.Builtin |