Module byte 

ByteArray (special case of Array of Scalars)

Functions

lean_byte_array_data^⚠

lean_byte_array_fget^⚠

lean_byte_array_fset^⚠

lean_byte_array_get^⚠

lean_byte_array_mk^⚠

lean_byte_array_push^⚠

lean_byte_array_set^⚠

lean_byte_array_size^⚠

lean_byte_array_uget^⚠

lean_byte_array_uset^⚠

lean_copy_byte_array^⚠

lean_mk_empty_byte_array^⚠