Module Dolmen_model.Env

Type definitions

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

type t

The type of environments for evaluations.

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

Return the builtins stored in the env.

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