sig
  type float32_elt = Bigarray.float32_elt
  type float64_elt = Bigarray.float64_elt
  type complex32_elt = Bigarray.complex32_elt
  type complex64_elt = Bigarray.complex64_elt
  type int8_signed_elt = Bigarray.int8_signed_elt
  type int8_unsigned_elt = Bigarray.int8_unsigned_elt
  type int16_signed_elt = Bigarray.int16_signed_elt
  type int16_unsigned_elt = Bigarray.int16_unsigned_elt
  type int_elt = Bigarray.int_elt
  type int32_elt = Bigarray.int32_elt
  type int64_elt = Bigarray.int64_elt
  type nativeint_elt = Bigarray.nativeint_elt
  type ('a, 'b) kind = ('a, 'b) Bigarray.kind
  val float32 : (float, float32_elt) kind
  val float64 : (float, float64_elt) kind
  val complex32 : (Complex.t, complex32_elt) kind
  val complex64 : (Complex.t, complex64_elt) kind
  val int8_signed : (int, int8_signed_elt) kind
  val int8_unsigned : (int, int8_unsigned_elt) kind
  val int16_signed : (int, int16_signed_elt) kind
  val int16_unsigned : (int, int16_unsigned_elt) kind
  val int : (int, int_elt) kind
  val int32 : (int32, int32_elt) kind
  val int64 : (int64, int64_elt) kind
  val nativeint : (nativeint, nativeint_elt) kind
  val char : (char, int8_unsigned_elt) kind
  type c_layout = Bigarray.c_layout
  type fortran_layout = Bigarray.fortran_layout
  type 'a layout = 'a Bigarray.layout
  val c_layout : c_layout layout
  val fortran_layout : fortran_layout layout
  module Genarray :
    sig
      type ('a, 'b, 'c) t = ('a, 'b, 'c) Bigarray.Genarray.t
      external create :
        ('a, 'b) kind -> 'c layout -> int array -> ('a, 'b, 'c) t
        = "caml_ba_create"
      external num_dims : ('a, 'b, 'c) t -> int = "caml_ba_num_dims"
      val dims : ('a, 'b, 'c) t -> int array
      external nth_dim : ('a, 'b, 'c) t -> int -> int = "caml_ba_dim"
      external kind : ('a, 'b, 'c) t -> ('a, 'b) kind = "caml_ba_kind"
      external layout : ('a, 'b, 'c) t -> 'c layout = "caml_ba_layout"
      external get : ('a, 'b, 'c) t -> int array -> 'a
        = "caml_ba_get_generic"
      external set : ('a, 'b, 'c) t -> int array -> 'a -> unit
        = "caml_ba_set_generic"
      external sub_left :
        ('a, 'b, c_layout) t -> int -> int -> ('a, 'b, c_layout) t
        = "caml_ba_sub"
      external sub_right :
        ('a, 'b, fortran_layout) t ->
        int -> int -> ('a, 'b, fortran_layout) t = "caml_ba_sub"
      external slice_left :
        ('a, 'b, c_layout) t -> int array -> ('a, 'b, c_layout) t
        = "caml_ba_slice"
      external slice_right :
        ('a, 'b, fortran_layout) t -> int array -> ('a, 'b, fortran_layout) t
        = "caml_ba_slice"
      external blit : ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> unit
        = "caml_ba_blit"
      external fill : ('a, 'b, 'c) t -> 'a -> unit = "caml_ba_fill"
      val map_file :
        Unix.file_descr ->
        ?pos:int64 ->
        ('a, 'b) kind -> 'c layout -> bool -> int array -> ('a, 'b, 'c) t
      val iter : ('a -> unit) -> ('a, 'b, 'c) t -> unit
      val iteri :
        ((int, [ `Read ]) BatArray.Cap.t -> 'a -> unit) ->
        ('a, 'b, 'c) t -> unit
      val enum : ('a, 'b, 'c) t -> 'a BatEnum.t
      val map :
        ('a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
      val mapi :
        ((int, [ `Read ]) BatArray.Cap.t -> 'a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
    end
  module Array1 :
    sig
      type ('a, 'b, 'c) t = ('a, 'b, 'c) Bigarray.Array1.t
      val create : ('a, 'b) kind -> 'c layout -> int -> ('a, 'b, 'c) t
      val dim : ('a, 'b, 'c) t -> int
      external kind : ('a, 'b, 'c) t -> ('a, 'b) kind = "caml_ba_kind"
      external layout : ('a, 'b, 'c) t -> 'c layout = "caml_ba_layout"
      external get : ('a, 'b, 'c) t -> int -> 'a = "%caml_ba_ref_1"
      external set : ('a, 'b, 'c) t -> int -> 'a -> unit = "%caml_ba_set_1"
      external sub : ('a, 'b, 'c) t -> int -> int -> ('a, 'b, 'c) t
        = "caml_ba_sub"
      external blit : ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> unit
        = "caml_ba_blit"
      external fill : ('a, 'b, 'c) t -> 'a -> unit = "caml_ba_fill"
      val of_array : ('a, 'b) kind -> 'c layout -> 'a array -> ('a, 'b, 'c) t
      val map_file :
        Unix.file_descr ->
        ?pos:int64 ->
        ('a, 'b) kind -> 'c layout -> bool -> int -> ('a, 'b, 'c) t
      val enum : ('a, 'b, 'c) t -> 'a BatEnum.t
      val map :
        ('a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
      val mapi :
        (int -> 'a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
      val to_array : ('a, 'b, 'c) t -> 'a array
      external unsafe_get : ('a, 'b, 'c) t -> int -> 'a
        = "%caml_ba_unsafe_ref_1"
      external unsafe_set : ('a, 'b, 'c) t -> int -> 'a -> unit
        = "%caml_ba_unsafe_set_1"
    end
  module Array2 :
    sig
      type ('a, 'b, 'c) t = ('a, 'b, 'c) Bigarray.Array2.t
      val create : ('a, 'b) kind -> 'c layout -> int -> int -> ('a, 'b, 'c) t
      val dim1 : ('a, 'b, 'c) t -> int
      val dim2 : ('a, 'b, 'c) t -> int
      external kind : ('a, 'b, 'c) t -> ('a, 'b) kind = "caml_ba_kind"
      external layout : ('a, 'b, 'c) t -> 'c layout = "caml_ba_layout"
      external get : ('a, 'b, 'c) t -> int -> int -> 'a = "%caml_ba_ref_2"
      external set : ('a, 'b, 'c) t -> int -> int -> 'a -> unit
        = "%caml_ba_set_2"
      external sub_left :
        ('a, 'b, c_layout) t -> int -> int -> ('a, 'b, c_layout) t
        = "caml_ba_sub"
      external sub_right :
        ('a, 'b, fortran_layout) t ->
        int -> int -> ('a, 'b, fortran_layout) t = "caml_ba_sub"
      val slice_left :
        ('a, 'b, c_layout) t -> int -> ('a, 'b, c_layout) Array1.t
      val slice_right :
        ('a, 'b, fortran_layout) t ->
        int -> ('a, 'b, fortran_layout) Array1.t
      external blit : ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> unit
        = "caml_ba_blit"
      external fill : ('a, 'b, 'c) t -> 'a -> unit = "caml_ba_fill"
      val of_array :
        ('a, 'b) kind -> 'c layout -> 'a array array -> ('a, 'b, 'c) t
      val map_file :
        Unix.file_descr ->
        ?pos:int64 ->
        ('a, 'b) kind -> 'c layout -> bool -> int -> int -> ('a, 'b, 'c) t
      val enum : ('a, 'b, 'c) t -> 'a BatEnum.t
      val map :
        ('a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
      val mapij :
        (int -> int -> 'a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
      val to_array : ('a, 'b, 'c) t -> 'a array array
      external unsafe_get : ('a, 'b, 'c) t -> int -> int -> 'a
        = "%caml_ba_unsafe_ref_2"
      external unsafe_set : ('a, 'b, 'c) t -> int -> int -> 'a -> unit
        = "%caml_ba_unsafe_set_2"
    end
  module Array3 :
    sig
      type ('a, 'b, 'c) t = ('a, 'b, 'c) Bigarray.Array3.t
      val create :
        ('a, 'b) kind -> 'c layout -> int -> int -> int -> ('a, 'b, 'c) t
      val dim1 : ('a, 'b, 'c) t -> int
      val dim2 : ('a, 'b, 'c) t -> int
      val dim3 : ('a, 'b, 'c) t -> int
      external kind : ('a, 'b, 'c) t -> ('a, 'b) kind = "caml_ba_kind"
      external layout : ('a, 'b, 'c) t -> 'c layout = "caml_ba_layout"
      external get : ('a, 'b, 'c) t -> int -> int -> int -> 'a
        = "%caml_ba_ref_3"
      external set : ('a, 'b, 'c) t -> int -> int -> int -> 'a -> unit
        = "%caml_ba_set_3"
      external sub_left :
        ('a, 'b, c_layout) t -> int -> int -> ('a, 'b, c_layout) t
        = "caml_ba_sub"
      external sub_right :
        ('a, 'b, fortran_layout) t ->
        int -> int -> ('a, 'b, fortran_layout) t = "caml_ba_sub"
      val slice_left_1 :
        ('a, 'b, c_layout) t -> int -> int -> ('a, 'b, c_layout) Array1.t
      val slice_right_1 :
        ('a, 'b, fortran_layout) t ->
        int -> int -> ('a, 'b, fortran_layout) Array1.t
      val slice_left_2 :
        ('a, 'b, c_layout) t -> int -> ('a, 'b, c_layout) Array2.t
      val slice_right_2 :
        ('a, 'b, fortran_layout) t ->
        int -> ('a, 'b, fortran_layout) Array2.t
      external blit : ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> unit
        = "caml_ba_blit"
      external fill : ('a, 'b, 'c) t -> 'a -> unit = "caml_ba_fill"
      val of_array :
        ('a, 'b) kind -> 'c layout -> 'a array array array -> ('a, 'b, 'c) t
      val map_file :
        Unix.file_descr ->
        ?pos:int64 ->
        ('a, 'b) kind ->
        'c layout -> bool -> int -> int -> int -> ('a, 'b, 'c) t
      val enum : ('a, 'b, 'c) t -> 'a BatEnum.t
      val map :
        ('a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
      val mapijk :
        (int -> int -> int -> 'a -> 'b) ->
        ('b, 'c) Bigarray.kind -> ('a, 'd, 'e) t -> ('b, 'c, 'e) t
      val to_array : ('a, 'b, 'c) t -> 'a array array array
      external unsafe_get : ('a, 'b, 'c) t -> int -> int -> int -> 'a
        = "%caml_ba_unsafe_ref_3"
      external unsafe_set : ('a, 'b, 'c) t -> int -> int -> int -> 'a -> unit
        = "%caml_ba_unsafe_set_3"
    end
  external genarray_of_array1 :
    ('a, 'b, 'c) Array1.t -> ('a, 'b, 'c) Genarray.t = "%identity"
  external genarray_of_array2 :
    ('a, 'b, 'c) Array2.t -> ('a, 'b, 'c) Genarray.t = "%identity"
  external genarray_of_array3 :
    ('a, 'b, 'c) Array3.t -> ('a, 'b, 'c) Genarray.t = "%identity"
  val array1_of_genarray : ('a, 'b, 'c) Genarray.t -> ('a, 'b, 'c) Array1.t
  val array2_of_genarray : ('a, 'b, 'c) Genarray.t -> ('a, 'b, 'c) Array2.t
  val array3_of_genarray : ('a, 'b, 'c) Genarray.t -> ('a, 'b, 'c) Array3.t
  val reshape :
    ('a, 'b, 'c) Genarray.t -> int array -> ('a, 'b, 'c) Genarray.t
  val reshape_1 : ('a, 'b, 'c) Genarray.t -> int -> ('a, 'b, 'c) Array1.t
  val reshape_2 :
    ('a, 'b, 'c) Genarray.t -> int -> int -> ('a, 'b, 'c) Array2.t
  val reshape_3 :
    ('a, 'b, 'c) Genarray.t -> int -> int -> int -> ('a, 'b, 'c) Array3.t
end