Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829
(* This file is free software, part of dolmen. See file "LICENSE" for more information *)
(* Type definitions & modules *)(* ************************************************************************* *)
module V = Map.Make(Dolmen.Std.Expr.Term.Var)module C = Map.Make(Dolmen.Std.Expr.Term.Const)
type builtins = eval:(t -> Dolmen.Std.Expr.Term.t -> Value.t) -> t -> Dolmen.Std.Expr.Term.Const.t -> Value.t option
and t = { model : Model.t; builtins : builtins;}
(* Common functions *)(* ************************************************************************* *)
let mk model ~builtins = { model; builtins; }
let builtins t = t.builtins
let model { model; _ } = model
let update_model t f = { t with model = f t.model; }