Function hacl_sys::Hacl_Bignum64_mul

pub unsafe extern "C" fn Hacl_Bignum64_mul(
    len: u32,
    a: *mut u64,
    b: *mut u64,
    res: *mut u64
)

Write a * b in res.

The arguments a and b are meant to be len limbs in size, i.e. uint64_t[len]. The outparam res is meant to be 2*len limbs in size, i.e. uint64_t[2*len].