package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

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

module C : 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 t

The type of environments for evaluations.

val empty : t

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

Print function

val disjoint_union : t -> t -> t

Disjoint union

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

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