LLTerm.Rat_op
type t
=
|
Leq0
Geq0
Lt0
Gt0
Eq0
Neq0
val not : t -> t
val equal : t -> t -> bool
val hash : t -> int
val pp : t CCFormat.printer