Module LLTerm.Rat_op

type t =
  1. | Leq0
  2. | Geq0
  3. | Lt0
  4. | Gt0
  5. | Eq0
  6. | Neq0
val not : t -> t
val equal : t -> t -> bool
val hash : t -> int