Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
12345678910111213141516171819202122
(* This file is free software, part of dolmen. See file "LICENSE" for more information *)
(** {2 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(* The empty env. *)
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