package dolmen_model

  1. Overview
  2. Docs

Type definitions

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

type t

The type of environments for evaluations.

val mk : Model.t -> builtins:(t -> Dolmen.Std.Expr.Term.Const.t -> Value.t) -> t

Return the builtins stored in the env.

val model : t -> Model.t
val update_model : t -> (Model.t -> Model.t) -> t
OCaml

Innovation. Community. Security.