Index
| Compare | Type.Ord.Base, Type.Ord |
| IsEQ | Type.Ord.Base, Type.Ord |
| IsGT | Type.Ord.Base, Type.Ord |
| IsLT | Type.Ord.Base, Type.Ord |
| OrdCase | Type.Ord.Base, Type.Ord |
type-ord-0.3: Type-level comparison operator
Index
| Compare | Type.Ord.Base, Type.Ord |
| IsEQ | Type.Ord.Base, Type.Ord |
| IsGT | Type.Ord.Base, Type.Ord |
| IsLT | Type.Ord.Base, Type.Ord |
| OrdCase | Type.Ord.Base, Type.Ord |