functor (S : Strat.T) ->
  sig
    module Strategy :
      sig
        type t = S.t
        val default : t
        val grow : t -> int -> int
        val shrink : t -> real_len:int -> new_len:int -> int
      end
    type strategy = Weak_impl.Make.Strategy.t
    type 'a t = {
      mutable ar : 'a Weak.t;
      mutable vlix : int;
      mutable strategy : Weak_impl.Make.strategy;
    }
    val name : string
    val invalid_arg : string -> 'a
    val failwith : string -> 'a
    val length : 'a Weak_impl.Make.t -> int
    val lix : 'a Weak_impl.Make.t -> int
    val real_length : 'a Weak_impl.Make.t -> int
    val real_lix : 'a Weak_impl.Make.t -> int
    val unsafe_get : 'a Weak_impl.Make.t -> int -> 'a option
    val unsafe_set : 'a Weak_impl.Make.t -> int -> 'a option -> unit
    val check : 'a Weak_impl.Make.t -> int -> bool
    val get : 'a Weak_impl.Make.t -> int -> 'a option
    val get_copy : 'a Weak_impl.Make.t -> int -> 'a option
    val set : 'a Weak_impl.Make.t -> int -> 'a option -> unit
    val creator : int -> 'a Weak.t
    val screate_fresh : Weak_impl.Make.strategy -> int -> 'a Weak_impl.Make.t
    val create_fresh : int -> 'a Weak_impl.Make.t
    val create_from : 'a Weak_impl.Make.t -> 'b Weak_impl.Make.t
    val sempty : Weak_impl.Make.strategy -> 'a Weak_impl.Make.t
    val empty : unit -> 'a Weak_impl.Make.t
    val smake :
      Weak_impl.Make.strategy -> int -> 'a option -> 'a Weak_impl.Make.t
    val make : int -> 'a option -> 'a Weak_impl.Make.t
    val create : int -> 'a Weak_impl.Make.t
    val screate : Weak_impl.Make.strategy -> int -> 'a Weak_impl.Make.t
    val sinit :
      Weak_impl.Make.strategy ->
      int -> (int -> 'a option) -> 'a Weak_impl.Make.t
    val init : int -> (int -> 'a option) -> 'a Weak_impl.Make.t
    val get_strategy : 'a Weak_impl.Make.t -> Weak_impl.Make.strategy
    val resizer : int -> 'a Weak_impl.Make.t -> int -> unit
    val enforce_strategy : 'a Weak_impl.Make.t -> unit
    val set_strategy : 'a Weak_impl.Make.t -> Weak_impl.Make.strategy -> unit
    val put_strategy : 'a Weak_impl.Make.t -> Weak_impl.Make.strategy -> unit
    val copy : 'a Weak_impl.Make.t -> 'a Weak_impl.Make.t
    val unsafe_blit_on_other :
      'a Weak_impl.Make.t -> int -> 'a Weak_impl.Make.t -> int -> int -> unit
    val append :
      'a Weak_impl.Make.t -> 'a Weak_impl.Make.t -> 'a Weak_impl.Make.t
    val concat_aux :
      'a Weak_impl.Make.t ->
      int -> 'a Weak_impl.Make.t list -> 'a Weak_impl.Make.t
    val concat : 'a Weak_impl.Make.t list -> 'a Weak_impl.Make.t
    val unsafe_sub : 'a Weak_impl.Make.t -> int -> int -> 'a Weak_impl.Make.t
    val sub : 'a Weak_impl.Make.t -> int -> int -> 'a Weak_impl.Make.t
    val guarantee_ix : 'a Weak_impl.Make.t -> int -> unit
    val maybe_grow_ix : 'a Weak_impl.Make.t -> int -> unit
    val add_one : 'a Weak_impl.Make.t -> 'a option -> unit
    val unsafe_remove_one : 'a Weak_impl.Make.t -> unit
    val remove_one : 'a Weak_impl.Make.t -> unit
    val unsafe_remove_n : 'a Weak_impl.Make.t -> int -> unit
    val remove_n : 'a Weak_impl.Make.t -> int -> unit
    val unsafe_remove_range : 'a Weak_impl.Make.t -> int -> int -> unit
    val remove_range : 'a Weak_impl.Make.t -> int -> int -> unit
    val clear : 'a Weak_impl.Make.t -> unit
    val unsafe_swap : 'a Weak_impl.Make.t -> int -> int -> unit
    val swap : 'a Weak_impl.Make.t -> int -> int -> unit
    val unsafe_swap_in_last : 'a Weak_impl.Make.t -> int -> unit
    val swap_in_last : 'a Weak_impl.Make.t -> int -> unit
    val unsafe_fill : 'a Weak_impl.Make.t -> int -> int -> 'a option -> unit
    val fill : 'a Weak_impl.Make.t -> int -> int -> 'a option -> unit
    val unsafe_blit :
      'a Weak_impl.Make.t -> int -> 'a Weak_impl.Make.t -> int -> int -> unit
    val blit :
      'a Weak_impl.Make.t -> int -> 'a Weak_impl.Make.t -> int -> int -> unit
    val to_std : 'a Weak_impl.Make.t -> 'a Weak.t
    val sof_std : Weak_impl.Make.strategy -> 'a Weak.t -> 'a Weak_impl.Make.t
    val of_std : 'a Weak.t -> 'a Weak_impl.Make.t
    val to_list_aux :
      'a Weak_impl.Make.t -> int -> 'a option list -> 'a option list
    val to_list : 'a Weak_impl.Make.t -> 'a option list
    val of_list_aux :
      'a Weak_impl.Make.t -> int -> 'a option list -> 'a Weak_impl.Make.t
    val of_list : 'a option list -> 'a Weak_impl.Make.t
    val iter : ('a option -> 'b) -> 'a Weak_impl.Make.t -> unit
    val iteri : (int -> 'a option -> 'b) -> 'a Weak_impl.Make.t -> unit
    val fold_left :
      ('a -> 'b option -> 'a) -> 'a -> 'b Weak_impl.Make.t -> 'a
    val fold_right :
      ('a option -> 'b -> 'b) -> 'a Weak_impl.Make.t -> 'b -> 'b
    val for_all_aux :
      int -> ('a option -> bool) -> 'a Weak_impl.Make.t -> bool
    val for_all : ('a option -> bool) -> 'a Weak_impl.Make.t -> bool
    val exists_aux :
      int -> ('a option -> bool) -> 'a Weak_impl.Make.t -> bool
    val exists : ('a option -> bool) -> 'a Weak_impl.Make.t -> bool
    val mem_aux : int -> 'a option -> 'a Weak_impl.Make.t -> bool
    val mem : 'a option -> 'a Weak_impl.Make.t -> bool
    val memq_aux : int -> 'a option -> 'a Weak_impl.Make.t -> bool
    val memq : 'a option -> 'a Weak_impl.Make.t -> bool
    val pos_aux : int -> 'a option -> 'a Weak_impl.Make.t -> int option
    val pos : 'a option -> 'a Weak_impl.Make.t -> int option
    val posq_aux : int -> 'a option -> 'a Weak_impl.Make.t -> int option
    val posq : 'a option -> 'a Weak_impl.Make.t -> int option
    val find_aux :
      int -> ('a option -> bool) -> 'a Weak_impl.Make.t -> 'a option
    val find : ('a option -> bool) -> 'a Weak_impl.Make.t -> 'a option
    val find_index_aux :
      ('a option -> bool) -> 'a Weak_impl.Make.t -> int -> int
    val find_index : ('a option -> bool) -> 'a Weak_impl.Make.t -> int -> int
    val filter :
      ('a option -> bool) -> 'a Weak_impl.Make.t -> 'a Weak_impl.Make.t
    val find_all :
      ('a option -> bool) -> 'a Weak_impl.Make.t -> 'a Weak_impl.Make.t
    val filter_in_place : ('a option -> bool) -> 'a Weak_impl.Make.t -> unit
    val partition :
      ('a option -> bool) ->
      'a Weak_impl.Make.t -> 'a Weak_impl.Make.t * 'a Weak_impl.Make.t
  end