sig   type char_   type key   type 'a t   val empty : 'a CCTrie.S.t   val is_empty : 'a CCTrie.S.t -> bool   val add : CCTrie.S.key -> 'a -> 'a CCTrie.S.t -> 'a CCTrie.S.t   val remove : CCTrie.S.key -> 'a CCTrie.S.t -> 'a CCTrie.S.t   val find : CCTrie.S.key -> 'a CCTrie.S.t -> 'a option   val find_exn : CCTrie.S.key -> 'a CCTrie.S.t -> 'a   val longest_prefix : CCTrie.S.key -> 'a CCTrie.S.t -> CCTrie.S.key   val update :     CCTrie.S.key ->     ('a option -> 'a option) -> 'a CCTrie.S.t -> 'a CCTrie.S.t   val fold : ('b -> CCTrie.S.key -> 'a -> 'b) -> 'b -> 'a CCTrie.S.t -> 'b   val mapi : (CCTrie.S.key -> 'a -> 'b) -> 'a CCTrie.S.t -> 'b CCTrie.S.t   val map : ('a -> 'b) -> 'a CCTrie.S.t -> 'b CCTrie.S.t   val iter : (CCTrie.S.key -> 'a -> unit) -> 'a CCTrie.S.t -> unit   val fold_values : ('b -> 'a -> 'b) -> 'b -> 'a CCTrie.S.t -> 'b   val iter_values : ('a -> unit) -> 'a CCTrie.S.t -> unit   val merge :     ('a -> 'a -> 'a option) ->     'a CCTrie.S.t -> 'a CCTrie.S.t -> 'a CCTrie.S.t   val size : 'a CCTrie.S.t -> int   val to_list : 'a CCTrie.S.t -> (CCTrie.S.key * 'a) list   val of_list : (CCTrie.S.key * 'a) list -> 'a CCTrie.S.t   val to_seq : 'a CCTrie.S.t -> (CCTrie.S.key * 'a) CCTrie.sequence   val of_seq : (CCTrie.S.key * 'a) CCTrie.sequence -> 'a CCTrie.S.t   val to_seq_values : 'a CCTrie.S.t -> 'a CCTrie.sequence   val to_tree :     'a CCTrie.S.t ->     [ `Char of CCTrie.S.char_ | `Switch | `Val of 'a ] CCTrie.ktree   val above :     CCTrie.S.key -> 'a CCTrie.S.t -> (CCTrie.S.key * 'a) CCTrie.sequence   val below :     CCTrie.S.key -> 'a CCTrie.S.t -> (CCTrie.S.key * 'a) CCTrie.sequence   val check_invariants : 'a CCTrie.S.t -> bool end