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.2: 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 |