Repr.Dict
Heterogeneous dictionaries.
type binding =
| B : 'a Type.Id.t * 'a -> binding
type t
val empty : t
val mem : 'a Type.Id.t -> t -> bool
val add : 'a Type.Id.t -> 'a -> t -> t
val remove : 'a Type.Id.t -> t -> t
val find : 'a Type.Id.t -> t -> 'a option