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