Module lean_sys::sarray

source · [−]
Expand description

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⚠