Alloc_buffer (arrayjit.Ir.Backend_impl.Device.Alloc

include Backend_intf.Buffer with type buffer_ptr := Device_types.buffer_ptr

val sexp_of_buffer_ptr : Device_types.buffer_ptr -> Sexplib0.Sexp.t

include sig ... end

type nonrec buffer = Device_types.buffer_ptr Backend_intf.buffer

val sexp_of_buffer : buffer -> Sexplib0.Sexp.t

type nonrec ctx_arrays = Device_types.buffer_ptr Backend_intf.ctx_arrays

val sexp_of_ctx_arrays : ctx_arrays -> Sexplib0.Sexp.t

val alloc_buffer : 
  ?old_buffer:buffer ->
  size_in_bytes:Base.int ->
  Device_types.stream ->
  buffer

val alloc_array : 
  Ops.prec ->
  dims:Base.int Base.array ->
  Device_types.stream ->
  Device_types.buffer_ptr

val alloc_zeros : 
  Ops.prec ->
  dims:Base.int Base.array ->
  Device_types.stream ->
  Device_types.buffer_ptr

val free_buffer : 
  (Device_types.stream -> Device_types.buffer_ptr -> Base.unit) Base.option