Hacl_Bignum64_mul

Function Hacl_Bignum64_mul 

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