sig
  type key
  type 'a t
  val empty : 'a CCHashTrie.S.t
  val is_empty : 'a CCHashTrie.S.t -> bool
  val singleton : CCHashTrie.S.key -> 'a -> 'a CCHashTrie.S.t
  val add : CCHashTrie.S.key -> 'a -> 'a CCHashTrie.S.t -> 'a CCHashTrie.S.t
  val mem : CCHashTrie.S.key -> 'a CCHashTrie.S.t -> bool
  val get : CCHashTrie.S.key -> 'a CCHashTrie.S.t -> 'a option
  val get_exn : CCHashTrie.S.key -> 'a CCHashTrie.S.t -> 'a
  val remove : CCHashTrie.S.key -> 'a CCHashTrie.S.t -> 'a CCHashTrie.S.t
  val update :
    CCHashTrie.S.key ->
    f:('a option -> 'a option) -> 'a CCHashTrie.S.t -> 'a CCHashTrie.S.t
  val add_mut :
    id:CCHashTrie.Transient.t ->
    CCHashTrie.S.key -> 'a -> 'a CCHashTrie.S.t -> 'a CCHashTrie.S.t
  val remove_mut :
    id:CCHashTrie.Transient.t ->
    CCHashTrie.S.key -> 'a CCHashTrie.S.t -> 'a CCHashTrie.S.t
  val update_mut :
    id:CCHashTrie.Transient.t ->
    CCHashTrie.S.key ->
    f:('a option -> 'a option) -> 'a CCHashTrie.S.t -> 'a CCHashTrie.S.t
  val cardinal : 'a CCHashTrie.S.t -> int
  val choose : 'a CCHashTrie.S.t -> (CCHashTrie.S.key * 'a) option
  val choose_exn : 'a CCHashTrie.S.t -> CCHashTrie.S.key * 'a
  val iter : f:(CCHashTrie.S.key -> 'a -> unit) -> 'a CCHashTrie.S.t -> unit
  val fold :
    f:('b -> CCHashTrie.S.key -> 'a -> 'b) -> x:'b -> 'a CCHashTrie.S.t -> 'b
  val to_list : 'a CCHashTrie.S.t -> (CCHashTrie.S.key * 'a) list
  val add_list :
    'a CCHashTrie.S.t -> (CCHashTrie.S.key * 'a) list -> 'a CCHashTrie.S.t
  val add_list_mut :
    id:CCHashTrie.Transient.t ->
    'a CCHashTrie.S.t -> (CCHashTrie.S.key * 'a) list -> 'a CCHashTrie.S.t
  val of_list : (CCHashTrie.S.key * 'a) list -> 'a CCHashTrie.S.t
  val add_seq :
    'a CCHashTrie.S.t ->
    (CCHashTrie.S.key * 'a) CCHashTrie.sequence -> 'a CCHashTrie.S.t
  val add_seq_mut :
    id:CCHashTrie.Transient.t ->
    'a CCHashTrie.S.t ->
    (CCHashTrie.S.key * 'a) CCHashTrie.sequence -> 'a CCHashTrie.S.t
  val of_seq :
    (CCHashTrie.S.key * 'a) CCHashTrie.sequence -> 'a CCHashTrie.S.t
  val to_seq :
    'a CCHashTrie.S.t -> (CCHashTrie.S.key * 'a) CCHashTrie.sequence
  val add_gen :
    'a CCHashTrie.S.t ->
    (CCHashTrie.S.key * 'a) CCHashTrie.gen -> 'a CCHashTrie.S.t
  val add_gen_mut :
    id:CCHashTrie.Transient.t ->
    'a CCHashTrie.S.t ->
    (CCHashTrie.S.key * 'a) CCHashTrie.gen -> 'a CCHashTrie.S.t
  val of_gen : (CCHashTrie.S.key * 'a) CCHashTrie.gen -> 'a CCHashTrie.S.t
  val to_gen : 'a CCHashTrie.S.t -> (CCHashTrie.S.key * 'a) CCHashTrie.gen
  val print :
    CCHashTrie.S.key CCHashTrie.printer ->
    'a CCHashTrie.printer -> 'a CCHashTrie.S.t CCHashTrie.printer
  val as_tree :
    'a CCHashTrie.S.t ->
    [ `L of int * (CCHashTrie.S.key * 'a) list | `N ] CCHashTrie.ktree
end