package dolmen_model

  1. Overview
  2. Docs

Value definition

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

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

ops for real values.

val mk : t -> Value.t

real value creation.

val builtins : Env.builtins

builtins for reals

OCaml

Innovation. Community. Security.