package promela

  1. Overview
  2. Docs
type t
type key = Identifier.t
type value = Type.t * Expression.t option
exception Type_mismatch of key * Type.t * Type.t
exception Initial_value_mismatch of key * Expression.t * Expression.t
val empty : t
val add : key -> value -> t -> t
val mem : key -> t -> bool
val remove : key -> t -> t
val find : key -> t -> value
val fold : (key -> value -> 'a -> 'a) -> t -> 'a -> 'a
val union : t -> t -> t
val map : (key -> value -> key * value) -> t -> t
val filter : (key -> value -> bool) -> t -> t
val rename : (Identifier.t -> Identifier.t) -> t -> t
val string_of : t -> string
val to_channel : Pervasives.out_channel -> t -> unit