Function c_u64_to_le_bytes

crates/ffi/src/unsigned.rs:14–16

(v: u64)

#[unsafe(no_mangle)]
extern "C" fn c_u64_to_le_bytes(v: u64) -> LeanByteArray<LeanOwned> {
  LeanByteArray::from_bytes(&v.to_le_bytes())
}

#[unsafe(no_mangle)]
extern "C" fn c_usize_to_le_bytes(v: usize) -> LeanByteArray<LeanOwned> {