Trace_core.Meta_map
module type KEY_IMPL = sig ... end
module Key : sig ... end
type 'a key = 'a Key.t
type binding =
| B : 'a Key.t * 'a -> binding
module M : sig ... end
type t = {
m : {exn_pair}1 M.t;
}
val empty : t
val mem : (module KEY_IMPL with type t = 'a) -> t -> bool
val find_exn : 'a Key.t -> t -> 'a
val find : 'a Key.t -> t -> 'a option
val add : 'a Key.t -> 'a -> t -> t
val remove : 'a Key.t -> t -> t
val cardinal : t -> int
val length : t -> int
val iter : (binding -> unit) -> t -> unit
val to_list : t -> binding list
val add_list : t -> binding list -> t