pub unsafe extern "C" fn Hacl_Bignum64_bn_to_bytes_le(
    len: u32,
    b: *mut u64,
    res: *mut u8
)
Expand description

Serialize a bignum into little-endian memory.

The argument b points to a bignum of ⌈len / 8⌉ size. The outparam res points to len bytes of valid memory.