package pacomb

  1. Overview
  2. Docs

Variation on the above to associate value of type 'a data to key of type 'a key. The abobe function are obatained with Make(struct type 'a data = 'a end)

Parameters

module T : sig ... end

Signature

type t
val empty : t
val add : 'a key -> 'a T.data -> t -> t
val length : t -> int
val add_key : 'a T.data -> t -> 'a key * t
val find : 'a key -> t -> 'a T.data
val mem : 'a key -> t -> bool
val remove : 'a key -> t -> t
val replace : 'a key -> 'a T.data -> t -> t
val append : t -> t -> t
type iter = {
  1. f : 'a. 'a key -> 'a T.data -> unit;
}
val iter : iter -> t -> unit