TN3PKVP3EMBILQKHDKEJMCJU5U6E3BLDQMMIUV2WE3XQ4HTCPBRAC
2DQ47UENKWPVS6XYO73Q2KCHTNG6GQVP2CKP24V2OQ4F4T3KAFMAC
LHFSZWK3U3RF4SBC2OY44PQ47GDELJ4NZOVRR2OBK3YVNNYKSDLAC
public exportGTE : Preorder t => t -> t -> TypeGTE = flip LTE
public export
GTE : Preorder t => t -> t -> Type
GTE = flip LTE
public exportGT : Order t => t -> t -> TypeGT = flip LT
GT : Order t => t -> t -> Type
GT = flip LT