Typed.Real
type t = real expr
val v : float -> t
val symbol : Symbol.t -> t
val neg : t -> t
neg t constructs the negation of the real number term t.
neg t
t
val add : t -> t -> t
add t1 t2 constructs the sum of the real number terms t1 and t2.
add t1 t2
t1
t2
val sub : t -> t -> t
sub t1 t2 constructs the difference of the real number terms t1 and t2.
sub t1 t2
val mul : t -> t -> t
mul t1 t2 constructs the product of the real number terms t1 and t2.
mul t1 t2
val div : t -> t -> t
div t1 t2 constructs the quotient of the real number terms t1 and t2.
div t1 t2
val pow : t -> t -> t
pow t1 t2 constructs the power of the real number terms t1 and t2.
pow t1 t2
val eq : t -> t -> bool expr
Alias for Bool.eq.
Bool.eq
val lt : t -> t -> bool expr
lt t1 t2 constructs the less-than relation between t1 and t2.
lt t1 t2
val le : t -> t -> bool expr
le t1 t2 constructs the less-than-or-equal relation between t1 and t2.
le t1 t2
val to_int : t -> int expr
to_int t converts the real number term t to an integer term.
to_int t
val pp : t Fmt.t