package alt-ergo-lib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val of_int : int -> t
val (~$) : int -> t
val of_Z : Z.t -> t
val (~$$) : Z.t -> t
val of_Q : Q.t -> t
val (~$$$) : Q.t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (~-) : t -> t
val (*) : t -> t -> t
val (/) : t -> 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.