functor
  (Container : sig
                 type 'a t
                 val mem : ?equal:('a -> 'a -> bool) -> 'a t -> 'a -> bool
                 val length : 'a t -> int
                 val is_empty : 'a t -> bool
                 val iter : 'a t -> f:('a -> unit) -> unit
                 val fold :
                   'a t ->
                   init:'accum -> f:('accum -> 'a -> 'accum) -> 'accum
                 val exists : 'a t -> f:('a -> bool) -> bool
                 val for_all : 'a t -> f:('a -> bool) -> bool
                 val count : 'a t -> f:('a -> bool) -> int
                 val find : 'a t -> f:('a -> bool) -> 'a option
                 val find_map : 'a t -> f:('a -> 'b option) -> 'b option
                 val to_list : 'a t -> 'a list
                 val to_array : 'a t -> 'a array
                 val of_list : 'a list -> 'a t
                 val t_of_sexp :
                   (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
                 val sexp_of_t :
                   ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
               end) ->
  sig
    val mem : ?equal:('a -> 'a -> bool) -> 'a Container.t -> 'a -> bool
    val length : 'a Container.t -> int
    val is_empty : 'a Container.t -> bool
    val iter : 'a Container.t -> f:('a -> unit) -> unit
    val fold :
      'a Container.t -> init:'accum -> f:('accum -> 'a -> 'accum) -> 'accum
    val exists : 'a Container.t -> f:('a -> bool) -> bool
    val for_all : 'a Container.t -> f:('a -> bool) -> bool
    val count : 'a Container.t -> f:('a -> bool) -> int
    val find : 'a Container.t -> f:('a -> bool) -> 'a option
    val find_map : 'a Container.t -> f:('a -> 'b option) -> 'b option
    val to_list : 'a Container.t -> 'a list
    val to_array : 'a Container.t -> 'a array
    val t_of_sexp :
      (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Container.t
    val sexp_of_t :
      ('a -> Sexplib.Sexp.t) -> 'a Container.t -> Sexplib.Sexp.t
  end