package logtk

  1. Overview
  2. Docs

Module LLTerm.Int_op

type t =
  1. | Leq0
  2. | Geq0
  3. | Lt0
  4. | Gt0
  5. | Eq0
  6. | Neq0
  7. | Divisible_by of Logtk_arith.Z.t
  8. | Not_div_by of Logtk_arith.Z.t
val not : t -> t
val equal : t -> t -> bool
val hash : t -> int