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