functor (X : ORD) ->   sig     type key = X.t     type t     val empty : t     val get : inj:'a injection -> key -> t -> 'a option     val add : inj:'a injection -> key -> 'a -> t -> t     val find : inj:'a injection -> key -> t -> 'a     val cardinal : t -> int     val remove : key -> t -> t     val mem : inj:'a injection -> key -> t -> bool     val iter_keys : f:(key -> unit) -> t -> unit     val fold_keys : f:('a -> key -> 'a) -> x:'a -> t -> 'a     type 'a sequence = ('a -> unit) -> unit     val keys_seq : t -> key sequence     val bindings_of : inj:'a injection -> t -> (key * 'a) sequence     type value = Value : ('a injection -> 'a option) -> value     val bindings : t -> (key * value) sequence   end