Module lean_sys::sarray

Array of scalars

Re-exports

pub use byte::*;

pub use float::*;

Modules

byte

ByteArray (special case of Array of Scalars)

float

FloatArray (special case of Array of Scalars)

Functions

lean_alloc_sarray^⚠

lean_sarray_byte_size^⚠

lean_sarray_capacity^⚠

lean_sarray_cptr^⚠

lean_sarray_elem_size^⚠

lean_sarray_set_size^⚠

lean_sarray_size^⚠