package dolmen_model

  1. Overview
  2. Docs

Module Dolmen_model.ModelSource

Exception

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

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

Type definitions

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

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

Variables and Constants values

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

Sourcemodule type S = sig ... end