sig
  module type CNTVEC =
    sig type n val value : (Slap_D.Vec.CNTVEC.n, 'cnt) Slap_D.vec end
  module type DSCVEC =
    sig
      type n
      val value : (Slap_D.Vec.DSCVEC.n, Slap_misc.dsc) Slap_D.vec
    end
  val cnt : ('n, Slap_misc.cnt) Slap_D.vec -> ('n, 'cnt) Slap_D.vec
  val empty : (Slap_size.z, 'cnt) Slap_D.vec
  val create : 'n Slap_size.t -> ('n, 'cnt) Slap_D.vec
  val make : 'n Slap_size.t -> Slap_D.num_type -> ('n, 'cnt) Slap_D.vec
  val make0 : 'n Slap_size.t -> ('n, 'cnt) Slap_D.vec
  val make1 : 'n Slap_size.t -> ('n, 'cnt) Slap_D.vec
  val init :
    'n Slap_size.t -> (int -> Slap_D.num_type) -> ('n, 'cnt) Slap_D.vec
  val dim : ('n, 'cd) Slap_D.vec -> 'n Slap_size.t
  val get_dyn : ('n, 'cd) Slap_D.vec -> int -> Slap_D.num_type
  val set_dyn : ('n, 'cd) Slap_D.vec -> int -> Slap_D.num_type -> unit
  val unsafe_get : ('n, 'cd) Slap_D.vec -> int -> Slap_D.num_type
  val unsafe_set : ('n, 'cd) Slap_D.vec -> int -> Slap_D.num_type -> unit
  val replace_dyn :
    ('n, 'cd) Slap_D.vec ->
    int -> (Slap_D.num_type -> Slap_D.num_type) -> unit
  val cons :
    ?y:('n Slap_size.s, 'y_cd) Slap_D.vec ->
    Slap_D.num_type ->
    ('n, 'x_cd) Slap_D.vec -> ('n Slap_size.s, 'y_cd) Slap_D.vec
  val hd : ('n Slap_size.s, 'x_cd) Slap_D.vec -> Slap_D.num_type
  val hd_dyn : ('n, 'x_cd) Slap_D.vec -> Slap_D.num_type
  val last : ('n Slap_size.s, 'x_cd) Slap_D.vec -> Slap_D.num_type
  val last_dyn : ('n, 'x_cd) Slap_D.vec -> Slap_D.num_type
  val tl :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n Slap_size.s, 'x_cd) Slap_D.vec -> ('n, 'x_cd) Slap_D.vec
  val tl_dyn :
    ?y:('n Slap_size.p, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n Slap_size.p, 'x_cd) Slap_D.vec
  val inits :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n Slap_size.s, 'x_cd) Slap_D.vec -> ('n, 'x_cd) Slap_D.vec
  val inits_dyn :
    ?y:('n Slap_size.p, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n Slap_size.p, 'x_cd) Slap_D.vec
  val copy :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val fill : ('n, 'cd) Slap_D.vec -> Slap_D.num_type -> unit
  val append :
    ('m, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> (('m, 'n) Slap_size.add, 'cnt) Slap_D.vec
  val shared_rev : ('n, 'cd) Slap_D.vec -> ('n, 'cd) Slap_D.vec
  val rev : ('n, 'cd) Slap_D.vec -> ('n, 'cd) Slap_D.vec
  val to_array : ('n, 'cd) Slap_D.vec -> Slap_D.num_type array
  val of_array_dyn :
    'n Slap_size.t -> Slap_D.num_type array -> ('n, 'cnt) Slap_D.vec
  val of_array : Slap_D.num_type array -> (module Slap_D.Vec.CNTVEC)
  module Of_array :
    functor (X : sig val value : Slap_D.num_type array end) -> CNTVEC
  val unsafe_of_array :
    'n Slap_size.t -> Slap_D.num_type array -> ('n, 'cnt) Slap_D.vec
  val to_list : ('n, 'cd) Slap_D.vec -> Slap_D.num_type list
  val of_list_dyn :
    'n Slap_size.t -> Slap_D.num_type list -> ('n, 'cnt) Slap_D.vec
  val of_list : Slap_D.num_type list -> (module Slap_D.Vec.CNTVEC)
  module Of_list :
    functor (X : sig val value : Slap_D.num_type list end) -> CNTVEC
  val unsafe_of_list :
    'n Slap_size.t -> Slap_D.num_type list -> ('n, 'cnt) Slap_D.vec
  val to_bigarray :
    ('n, 'cd) Slap_D.vec ->
    (Slap_D.num_type, Slap_D.prec, Bigarray.fortran_layout) Bigarray.Array1.t
  val of_bigarray_dyn :
    ?share:bool ->
    'n Slap_size.t ->
    (Slap_D.num_type, Slap_D.prec, Bigarray.fortran_layout) Bigarray.Array1.t ->
    ('n, 'cnt) Slap_D.vec
  val of_bigarray :
    ?share:bool ->
    (Slap_D.num_type, Slap_D.prec, Bigarray.fortran_layout) Bigarray.Array1.t ->
    (module Slap_D.Vec.CNTVEC)
  module Of_bigarray :
    functor
      (X : sig
             val share : bool
             val value :
               (Slap_D.num_type, Slap_D.prec, Bigarray.fortran_layout)
               Bigarray.Array1.t
           end) ->
      CNTVEC
  val unsafe_of_bigarray :
    ?share:bool ->
    'n Slap_size.t ->
    (Slap_D.num_type, Slap_D.prec, Bigarray.fortran_layout) Bigarray.Array1.t ->
    ('n, 'cnt) Slap_D.vec
  val of_array_c :
    Slap_D.num_type array ->
    (Slap_D.num_type, Slap_D.prec, 'cnt) Slap_vec.dyn
  val of_list_c :
    Slap_D.num_type list -> (Slap_D.num_type, Slap_D.prec, 'cnt) Slap_vec.dyn
  val of_bigarray_c :
    ?share:bool ->
    (Slap_D.num_type, Slap_D.prec, Bigarray.fortran_layout) Bigarray.Array1.t ->
    (Slap_D.num_type, Slap_D.prec, 'cnt) Slap_vec.dyn
  val map :
    (Slap_D.num_type -> Slap_D.num_type) ->
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val mapi :
    (int -> Slap_D.num_type -> Slap_D.num_type) ->
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val fold_left :
    ('accum -> Slap_D.num_type -> 'accum) ->
    'accum -> ('n, 'cd) Slap_D.vec -> 'accum
  val fold_lefti :
    (int -> 'accum -> Slap_D.num_type -> 'accum) ->
    'accum -> ('n, 'cd) Slap_D.vec -> 'accum
  val fold_right :
    (Slap_D.num_type -> 'accum -> 'accum) ->
    ('n, 'cd) Slap_D.vec -> 'accum -> 'accum
  val fold_righti :
    (int -> Slap_D.num_type -> 'accum -> 'accum) ->
    ('n, 'cd) Slap_D.vec -> 'accum -> 'accum
  val replace_all :
    ('n, 'cd) Slap_D.vec -> (Slap_D.num_type -> Slap_D.num_type) -> unit
  val replace_alli :
    ('n, 'cd) Slap_D.vec ->
    (int -> Slap_D.num_type -> Slap_D.num_type) -> unit
  val iter : (Slap_D.num_type -> unit) -> ('n, 'cd) Slap_D.vec -> unit
  val iteri :
    (int -> Slap_D.num_type -> unit) -> ('n, 'cd) Slap_D.vec -> unit
  val map2 :
    (Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type) ->
    ?z:('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val mapi2 :
    (int -> Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type) ->
    ?z:('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val fold_left2 :
    ('accum -> Slap_D.num_type -> Slap_D.num_type -> 'accum) ->
    'accum -> ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> 'accum
  val fold_lefti2 :
    (int -> 'accum -> Slap_D.num_type -> Slap_D.num_type -> 'accum) ->
    'accum -> ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> 'accum
  val fold_right2 :
    (Slap_D.num_type -> Slap_D.num_type -> 'accum -> 'accum) ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> 'accum -> 'accum
  val fold_righti2 :
    (int -> Slap_D.num_type -> Slap_D.num_type -> 'accum -> 'accum) ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> 'accum -> 'accum
  val iter2 :
    (Slap_D.num_type -> Slap_D.num_type -> unit) ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> unit
  val iteri2 :
    (int -> Slap_D.num_type -> Slap_D.num_type -> unit) ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> unit
  val map3 :
    (Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type) ->
    ?w:('n, 'w_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec ->
    ('n, 'z_cd) Slap_D.vec -> ('n, 'w_cd) Slap_D.vec
  val mapi3 :
    (int ->
     Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type) ->
    ?w:('n, 'w_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec ->
    ('n, 'z_cd) Slap_D.vec -> ('n, 'w_cd) Slap_D.vec
  val fold_left3 :
    ('accum ->
     Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type -> 'accum) ->
    'accum ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec -> 'accum
  val fold_lefti3 :
    (int ->
     'accum ->
     Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type -> 'accum) ->
    'accum ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec -> 'accum
  val fold_right3 :
    (Slap_D.num_type ->
     Slap_D.num_type -> Slap_D.num_type -> 'accum -> 'accum) ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec -> 'accum -> 'accum
  val fold_righti3 :
    (int ->
     Slap_D.num_type ->
     Slap_D.num_type -> Slap_D.num_type -> 'accum -> 'accum) ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec -> 'accum -> 'accum
  val iter3 :
    (Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type -> unit) ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec -> unit
  val iteri3 :
    (int -> Slap_D.num_type -> Slap_D.num_type -> Slap_D.num_type -> unit) ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec -> unit
  val for_all : (Slap_D.num_type -> bool) -> ('n, 'cd) Slap_D.vec -> bool
  val exists : (Slap_D.num_type -> bool) -> ('n, 'cd) Slap_D.vec -> bool
  val for_all2 :
    (Slap_D.num_type -> Slap_D.num_type -> bool) ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> bool
  val exists2 :
    (Slap_D.num_type -> Slap_D.num_type -> bool) ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> bool
  val max : ('n, 'cd) Slap_D.vec -> Slap_D.num_type
  val min : ('n, 'cd) Slap_D.vec -> Slap_D.num_type
  val sum : ('n, 'cd) Slap_D.vec -> Slap_D.num_type
  val prod : ('n, 'cd) Slap_D.vec -> Slap_D.num_type
  val add_const :
    Slap_D.num_type ->
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val sqr_nrm2 : ?stable:bool -> ('n, 'cd) Slap_D.vec -> float
  val ssqr : ?c:Slap_D.num_type -> ('n, 'cd) Slap_D.vec -> Slap_D.num_type
  val sort :
    ?cmp:(Slap_D.num_type -> Slap_D.num_type -> int) ->
    ?decr:bool ->
    ?p:('n, 'p_cd) Slap_common.int_vec -> ('n, 'x_cd) Slap_D.vec -> unit
  val neg :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val reci :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val add :
    ?z:('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val sub :
    ?z:('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val mul :
    ?z:('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val div :
    ?z:('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val zpxy :
    ('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val zmxy :
    ('n, 'z_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec ->
    ('n, 'y_cd) Slap_D.vec -> ('n, 'z_cd) Slap_D.vec
  val ssqr_diff :
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec -> Slap_D.num_type
  val subcntvec_dyn :
    'm Slap_size.t ->
    ?ofsx:int -> ('n, Slap_misc.cnt) Slap_D.vec -> ('m, 'cnt) Slap_D.vec
  val subdscvec_dyn :
    'm Slap_size.t ->
    ?ofsx:int ->
    ?incx:int -> ('n, 'cd) Slap_D.vec -> ('m, Slap_misc.dsc) Slap_D.vec
  val subvec_dyn :
    'm Slap_size.t ->
    ?ofsx:int ->
    ?incx:int -> ('n, 'cd) Slap_D.vec -> ('m, Slap_misc.dsc) Slap_D.vec
  val random :
    ?rnd_state:Random.State.t ->
    ?from:float -> ?range:float -> 'n Slap_size.t -> ('n, 'cnt) Slap_D.vec
  val sqr :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val sqrt :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val exp :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val log :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val sin :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
  val cos :
    ?y:('n, 'y_cd) Slap_D.vec ->
    ('n, 'x_cd) Slap_D.vec -> ('n, 'y_cd) Slap_D.vec
end