functor (K : OrderedType) (V : OrderedType) ->   sig     type key = K.t     type value = V.t     type t     val empty : t     val is_empty : t -> bool     val add : t -> key -> value -> t     val remove : t -> key -> value -> t     val remove_all : t -> key -> t     val mem : t -> key -> bool     val find : t -> key -> value list     val find_iter : t -> key -> (value -> unit) -> unit     val count : t -> key -> int     val iter : t -> (key -> value -> unit) -> unit     val fold : t -> 'a -> ('a -> key -> value -> 'a) -> 'a     val size : t -> int     val union : t -> t -> t     val inter : t -> t -> t     val diff : t -> t -> t     val equal : t -> t -> bool     val compare : t -> t -> int     val submap : t -> t -> bool     val to_seq : t -> (key * value) sequence     val of_seq : ?init:t -> (key * value) sequence -> t     val keys : t -> key sequence     val values : t -> value sequence   end