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