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 |