Alloc_buffer_ignore_stream (arrayjit.Arrayjit.Backend_impl.Alloc_buffer_ignore

Parameters

module Device_types : Backend_intf.Device_types

module Backend : 
  Backend_intf.Alloc_buffer
    with type buffer_ptr = Device_types.buffer_ptr
     and type stream := Base.unit

include Backend_intf.Buffer with type buffer_ptr = Backend.buffer_ptr

type buffer_ptr = Backend.buffer_ptr

val sexp_of_buffer_ptr : buffer_ptr -> Sexplib0.Sexp.t

include sig ... end

type nonrec buffer = buffer_ptr Backend_intf.buffer

val sexp_of_buffer : buffer -> Sexplib0.Sexp.t

type nonrec ctx_arrays = buffer_ptr Backend_intf.ctx_arrays

val sexp_of_ctx_arrays : ctx_arrays -> Sexplib0.Sexp.t

type stream = Device_types.stream

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

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

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