package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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