sig
  type t =
      False
    | Oeq
    | Ogt
    | Oge
    | Olt
    | Ole
    | One
    | Ord
    | Uno
    | Ueq
    | Ugt
    | Uge
    | Ult
    | Ule
    | Une
    | True
end