Compare | Type.Ord.Base, Type.Ord |
EQ | Type.Ord.Base, Type.Ord |
False | Type.Ord.Base, Type.Ord |
GT | Type.Ord.Base, Type.Ord |
IsEQ | Type.Ord.Base, Type.Ord |
IsGT | Type.Ord.Base, Type.Ord |
IsLT | Type.Ord.Base, Type.Ord |
LT | Type.Ord.Base, Type.Ord |
OrdCase | Type.Ord.Base, Type.Ord |
True | Type.Ord.Base, Type.Ord |