Model (u.3d35cb2ddf675a749fdb7b8a3e2ed913.dolmen_model.0.10.doc.dolmen_model.Dolmen

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

Sourcemodule V : Map.S with type key = Dolmen.Std.Expr.Term.Var.t

Sourcemodule C : Map.S with type key = Dolmen.Std.Expr.Term.Const.t

Sourceexception Partial_interpretation of Dolmen.Std.Expr.Term.Const.t * Value.t list

Sourceexception Incorrect_extension of Dolmen.Std.Expr.Term.Const.t * Value.t list * Value.t

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

Sourcetype t

The type of environments for evaluations.

Sourceval empty : t

Sourceval print : Format.formatter -> t -> unit

Print function

Sourceval disjoint_union : t -> t -> t

Disjoint union

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

Sourcemodule type S = sig ... end

Sourcemodule Var : S with type key := Dolmen.Std.Expr.Term.Var.t

Sourcemodule Cst : S with type key := Dolmen.Std.Expr.Term.Const.t