Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
(* This file is free software, part of dolmen. See file "LICENSE" for more information *)
(** {2 Exception} *)(** ************************************************************************ *)
module V : Map.S with type key = Dolmen.Std.Expr.Term.Var.tmodule 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
(** {2 Type definitions} *)(** ************************************************************************ *)
type t(** The type of environments for evaluations. *)
val empty : t(* The empty env. *)
val print : Format.formatter -> t -> unit(** Print function *)
val disjoint_union : t -> t -> t(** Disjoint union *)
(** {2 Variables and Constants values} *)(** ************************************************************************ *)
module type S = sig
type key
val find_opt : key -> t -> Value.t option
val add : key -> Value.t -> t -> t
val remove : key -> t -> t
end
module Var : S with type key := Dolmen.Std.Expr.Term.Var.tmodule Cst : S with type key := Dolmen.Std.Expr.Term.Const.t