Module Dolmen_model.Model

Exception

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

module V : Stdlib.Map.S with type key = Dolmen.Std.Expr.Term.Var.t
module C : Stdlib.Map.S with type key = Dolmen.Std.Expr.Term.Const.t
exception Partial_interpretation of Dolmen.Std.Expr.Term.Const.t * Value.t list
exception Incorrect_extension of Dolmen.Std.Expr.Term.Const.t * Value.t list * Value.t

Type definitions

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

type t

The type of environments for evaluations.

val empty : t
val print : Stdlib.Format.formatter -> t -> unit

Print function

val disjoint_union : t -> t -> t

Disjoint union

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