sig
  type 'a ind
  type ('a, 'b) t
  val create : ?step:int -> unit -> ('a, 'b) Searray.t
  val add : ('a, 'b) Searray.t -> 'b -> 'a Searray.ind
  val get : ('a, 'b) Searray.t -> 'a Searray.ind -> 'b
  val set : ('a, 'b) Searray.t -> 'a Searray.ind -> 'b -> unit
  val find : ('a, 'b) Searray.t -> ('b -> int) -> 'a Searray.ind
  val copy : ?copy:('b -> 'b) -> ('a, 'b) Searray.t -> ('a, 'b) Searray.t
  val length : ('a, 'b) Searray.t -> int
  val iteri : ('a Searray.ind -> 'b -> unit) -> ('a, 'b) Searray.t -> unit
  val iter : ('b -> unit) -> ('a, 'b) Searray.t -> unit
  val fold_left : ('c -> 'b -> 'c) -> 'c -> ('a, 'b) Searray.t -> 'c
  val fold_right : ('b -> 'c -> 'c) -> ('a, 'b) Searray.t -> 'c -> 'c
  val fold_lefti :
    ('c -> 'a Searray.ind -> 'b -> 'c) -> 'c -> ('a, 'b) Searray.t -> 'c
  val fold_righti :
    ('a Searray.ind -> 'b -> 'c -> 'c) -> ('a, 'b) Searray.t -> 'c -> 'c
  val to_array : ('a, 'b) Searray.t -> 'b array
  val mapi :
    ('a Searray.ind -> 'b -> 'c) -> ('a, 'b) Searray.t -> ('a, 'c) Searray.t
  val mapi_as_list :
    ('a Searray.ind -> 'b -> 'c) -> ('a, 'b) Searray.t -> 'c list
  val insert : ('a, 'b) Searray.t -> 'a Searray.ind -> 'b -> unit
  val int : 'a Searray.ind -> int
  val ( @> ) : ('a, 'b) Searray.t -> int -> 'a Searray.ind
  val ( @~ ) : ('a, 'b) Searray.t -> int -> 'b
  val ( @@ ) : ('a, 'b) Searray.t -> 'a Searray.ind -> 'b
  val ( ~~ ) : 'a Searray.ind -> int
end