`sig
module Strategy : Res__.Strat.T
type strategy = Strategy.t
type t
type el
val length : Nopres_intf.T.t -> int
val lix : Nopres_intf.T.t -> int
val real_length : Nopres_intf.T.t -> int
val real_lix : Nopres_intf.T.t -> int
val get : Nopres_intf.T.t -> int -> Nopres_intf.T.el
val set : Nopres_intf.T.t -> int -> Nopres_intf.T.el -> unit
val sempty : Nopres_intf.T.strategy -> Nopres_intf.T.t
val empty : unit -> Nopres_intf.T.t
val screate : Nopres_intf.T.strategy -> int -> Nopres_intf.T.t
val create : int -> Nopres_intf.T.t
val smake :
Nopres_intf.T.strategy -> int -> Nopres_intf.T.el -> Nopres_intf.T.t
val make : int -> Nopres_intf.T.el -> Nopres_intf.T.t
val sinit :
Nopres_intf.T.strategy ->
int -> (int -> Nopres_intf.T.el) -> Nopres_intf.T.t
val init : int -> (int -> Nopres_intf.T.el) -> Nopres_intf.T.t
val get_strategy : Nopres_intf.T.t -> Nopres_intf.T.strategy
val set_strategy : Nopres_intf.T.t -> Nopres_intf.T.strategy -> unit
val put_strategy : Nopres_intf.T.t -> Nopres_intf.T.strategy -> unit
val enforce_strategy : Nopres_intf.T.t -> unit
val copy : Nopres_intf.T.t -> Nopres_intf.T.t
val sub : Nopres_intf.T.t -> int -> int -> Nopres_intf.T.t
val fill : Nopres_intf.T.t -> int -> int -> Nopres_intf.T.el -> unit
val blit : Nopres_intf.T.t -> int -> Nopres_intf.T.t -> int -> int -> unit
val append : Nopres_intf.T.t -> Nopres_intf.T.t -> Nopres_intf.T.t
val concat : Nopres_intf.T.t list -> Nopres_intf.T.t
val add_one : Nopres_intf.T.t -> Nopres_intf.T.el -> unit
val remove_one : Nopres_intf.T.t -> unit
val remove_n : Nopres_intf.T.t -> int -> unit
val remove_range : Nopres_intf.T.t -> int -> int -> unit
val clear : Nopres_intf.T.t -> unit
val swap : Nopres_intf.T.t -> int -> int -> unit
val swap_in_last : Nopres_intf.T.t -> int -> unit
val to_array : Nopres_intf.T.t -> Nopres_intf.T.el array
val sof_array :
Nopres_intf.T.strategy -> Nopres_intf.T.el array -> Nopres_intf.T.t
val of_array : Nopres_intf.T.el array -> Nopres_intf.T.t
val to_list : Nopres_intf.T.t -> Nopres_intf.T.el list
val sof_list :
Nopres_intf.T.strategy -> Nopres_intf.T.el list -> Nopres_intf.T.t
val of_list : Nopres_intf.T.el list -> Nopres_intf.T.t
val iter : (Nopres_intf.T.el -> unit) -> Nopres_intf.T.t -> unit
val map :
(Nopres_intf.T.el -> Nopres_intf.T.el) ->
Nopres_intf.T.t -> Nopres_intf.T.t
val iteri : (int -> Nopres_intf.T.el -> unit) -> Nopres_intf.T.t -> unit
val mapi :
(int -> Nopres_intf.T.el -> Nopres_intf.T.el) ->
Nopres_intf.T.t -> Nopres_intf.T.t
val fold_left :
('a -> Nopres_intf.T.el -> 'a) -> 'a -> Nopres_intf.T.t -> 'a
val fold_right :
(Nopres_intf.T.el -> 'a -> 'a) -> Nopres_intf.T.t -> 'a -> 'a
val for_all : (Nopres_intf.T.el -> bool) -> Nopres_intf.T.t -> bool
val exists : (Nopres_intf.T.el -> bool) -> Nopres_intf.T.t -> bool
val mem : Nopres_intf.T.el -> Nopres_intf.T.t -> bool
val memq : Nopres_intf.T.el -> Nopres_intf.T.t -> bool
val pos : Nopres_intf.T.el -> Nopres_intf.T.t -> int option
val posq : Nopres_intf.T.el -> Nopres_intf.T.t -> int option
val find :
(Nopres_intf.T.el -> bool) -> Nopres_intf.T.t -> Nopres_intf.T.el
val find_index :
(Nopres_intf.T.el -> bool) -> Nopres_intf.T.t -> int -> int
val filter :
(Nopres_intf.T.el -> bool) -> Nopres_intf.T.t -> Nopres_intf.T.t
val find_all :
(Nopres_intf.T.el -> bool) -> Nopres_intf.T.t -> Nopres_intf.T.t
val filter_in_place : (Nopres_intf.T.el -> bool) -> Nopres_intf.T.t -> unit
val partition :
(Nopres_intf.T.el -> bool) ->
Nopres_intf.T.t -> Nopres_intf.T.t * Nopres_intf.T.t
val unsafe_get : Nopres_intf.T.t -> int -> Nopres_intf.T.el
val unsafe_set : Nopres_intf.T.t -> int -> Nopres_intf.T.el -> unit
val unsafe_sub : Nopres_intf.T.t -> int -> int -> Nopres_intf.T.t
val unsafe_fill : Nopres_intf.T.t -> int -> int -> Nopres_intf.T.el -> unit
val unsafe_blit :
Nopres_intf.T.t -> int -> Nopres_intf.T.t -> int -> int -> unit
val unsafe_remove_one : Nopres_intf.T.t -> unit
val unsafe_remove_n : Nopres_intf.T.t -> int -> unit
val unsafe_swap : Nopres_intf.T.t -> int -> int -> unit
val unsafe_swap_in_last : Nopres_intf.T.t -> int -> unit
end`