Module Dolmen_model.Model

Type definitions

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

type t

The type of environments for evaluations.

val empty : t

Variables and Constants values

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

module type S = sig ... end
module Var : S with type key := Dolmen.Std.Expr.Term.Var.t
module Cst : S with type key := Dolmen.Std.Expr.Term.Const.t