package alt-ergo-lib

  1. Overview
  2. Docs

Constructors from the smtlib theory of integers. https://smtlib.cs.uiowa.edu/theories-Ints.shtml

val of_Z : Z.t -> t
val (~$) : Z.t -> t
val of_int : int -> t
val (~$$) : int -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (~-) : t -> t
val (*) : t -> t -> t
val (/) : t -> t -> t
val (mod) : t -> t -> t
val abs : t -> t
val (**) : t -> t -> t
val (<=) : t -> t -> t
val (>=) : t -> t -> t
val (<) : t -> t -> t
val (>) : t -> t -> t
OCaml

Innovation. Community. Security.