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 |
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 |