Expr.Reals
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