Trace_core.Meta_map
Associative containers with Heterogeneous Values
module Key : sig ... end
Keys with a type witness.
type pair =
| Pair : 'a Key.t * 'a -> pair
type t
Immutable map from Key.t to values
Key.t
val empty : t
val mem : _ Key.t -> t -> bool
val add : 'a Key.t -> 'a -> t -> t
val remove : _ Key.t -> t -> t
val length : t -> int
val cardinal : t -> int
val find : 'a Key.t -> t -> 'a option
val find_exn : 'a Key.t -> t -> 'a
Not_found
if the key is not in the table.
val iter : (pair -> unit) -> t -> unit
val add_list : t -> pair list -> t
val of_list : pair list -> t
val to_list : t -> pair list