Module Cmarkit_base.Dict

Heterogeneous dictionaries.

Used by Cmarkit.Meta.

type 'a key
val key : unit -> 'a key
type t
val empty : t
val mem : 'a key -> t -> bool
val add : 'a key -> 'a -> t -> t
val tag : unit key -> t -> t
val remove : 'a key -> t -> t
val find : 'a key -> t -> 'a option