Leq | Data.Type.Natural |
leqAnitsymmetric | Data.Type.Natural |
LeqInstance | |
1 (Type/Class) | Data.Type.Natural |
2 (Data Constructor) | Data.Type.Natural |
leqLhs | Data.Type.Natural |
leqRefl | Data.Type.Natural |
leqRhs | Data.Type.Natural |
leqSucc | Data.Type.Natural |
leqTrans | Data.Type.Natural |
LeqTrueInstance | |
1 (Type/Class) | Data.Type.Natural |
2 (Data Constructor) | Data.Type.Natural |