Module Dolmen_model.EnvSource

Type definitions

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

Sourcetype t

The type of environments for evaluations.

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

Return the builtins stored in the env.

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