sig   type key   type t   val empty : CCMixmap.S.t   val get :     inj:'a CCMixmap.injection -> CCMixmap.S.key -> CCMixmap.S.t -> 'a option   val add :     inj:'a CCMixmap.injection ->     CCMixmap.S.key -> 'a -> CCMixmap.S.t -> CCMixmap.S.t   val find :     inj:'a CCMixmap.injection -> CCMixmap.S.key -> CCMixmap.S.t -> 'a   val cardinal : CCMixmap.S.t -> int   val remove : CCMixmap.S.key -> CCMixmap.S.t -> CCMixmap.S.t   val mem :     inj:'a CCMixmap.injection -> CCMixmap.S.key -> CCMixmap.S.t -> bool   val iter_keys : f:(CCMixmap.S.key -> unit) -> CCMixmap.S.t -> unit   val fold_keys :     f:('a -> CCMixmap.S.key -> 'a) -> x:'a -> CCMixmap.S.t -> 'a   type 'a sequence = ('a -> unit) -> unit   val keys_seq : CCMixmap.S.t -> CCMixmap.S.key CCMixmap.S.sequence   val bindings_of :     inj:'a CCMixmap.injection ->     CCMixmap.S.t -> (CCMixmap.S.key * 'a) CCMixmap.S.sequence   type value =       Value : ('a CCMixmap.injection -> 'a option) -> CCMixmap.S.value   val bindings :     CCMixmap.S.t -> (CCMixmap.S.key * CCMixmap.S.value) CCMixmap.S.sequence end