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^⚠