package promela

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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