functor (T : T.T3) ->
  functor (Tree : T.T3) ->
    functor (Key : T.T1) ->
      functor (Options : T.T3) ->
        functor
          (M : sig
                 val empty : ('k, 'cmp, ('k, 'a, 'cmp) T.t) Options.t
                 val singleton :
                   ('k, 'cmp, 'k Key.t -> 'v -> ('k, 'v, 'cmp) T.t) Options.t
                 val of_sorted_array :
                   ('k, 'cmp,
                    ('k Key.t * 'v) array -> ('k, 'v, 'cmp) T.t Or_error.t)
                   Options.t
                 val of_sorted_array_unchecked :
                   ('k, 'cmp, ('k Key.t * 'v) array -> ('k, 'v, 'cmp) T.t)
                   Options.t
                 val of_alist :
                   ('k, 'cmp,
                    ('k Key.t * 'v) list ->
                    [ `Duplicate_key of 'k Key.t | `Ok of ('k, 'v, 'cmp) T.t ])
                   Options.t
                 val of_alist_exn :
                   ('k, 'cmp, ('k Key.t * 'v) list -> ('k, 'v, 'cmp) T.t)
                   Options.t
                 val of_alist_multi :
                   ('k, 'cmp,
                    ('k Key.t * 'v) list -> ('k, 'v list, 'cmp) T.t)
                   Options.t
                 val of_alist_fold :
                   ('k, 'cmp,
                    ('k Key.t * 'v1) list ->
                    init:'v2 -> f:('v2 -> 'v1 -> 'v2) -> ('k, 'v2, 'cmp) T.t)
                   Options.t
                 val of_tree :
                   ('k, 'cmp,
                    ('k Key.t, 'v, 'cmp) Tree.t -> ('k, 'v, 'cmp) T.t)
                   Options.t
               end) ->
          sig  end