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