sig
  type ('a, 'b) t = ('a, 'b, Bigarray.c_layout) Bigarray.Array1.t
  type bytes = (int, Bigarray.int8_unsigned_elt) Rpi.Mem.Map.t
  type int32s = (int32, Bigarray.int32_elt) Rpi.Mem.Map.t
  type int64s = (int64, Bigarray.int64_elt) Rpi.Mem.Map.t
  val length : ('a, 'b) Rpi.Mem.Map.t -> int
  val byte_length : ('a, 'b) Rpi.Mem.Map.t -> int
  val base : ('a, 'b) Rpi.Mem.Map.t -> Rpi.Mem.addr
  val bytes : Rpi.Mem.addr -> len:int -> Rpi.Mem.Map.bytes
  val int32s : Rpi.Mem.addr -> len:int -> Rpi.Mem.Map.int32s
  val int64s : Rpi.Mem.addr -> len:int -> Rpi.Mem.Map.int64s
end