Module Dolmen_model.Real

Value definition

************************************************************************

type t = Q.t
val ops : t Value.ops

ops for real values.

val mk : t -> Value.t

real value creation.

val get : Value.t -> Q.t

Get a rational value.

Corner cases & builtins

************************************************************************

val builtins : Env.t -> Dolmen.Std.Expr.Term.Const.t -> Value.t option

builtins for reals