Function hacl_sys::Hacl_Bignum64_mod

pub unsafe extern "C" fn Hacl_Bignum64_mod(
    len: u32,
    n: *mut u64,
    a: *mut u64,
    res: *mut u64
) -> bool

Write a mod n in res.

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

The function returns false if any of the following preconditions are violated, true otherwise. • 1 < n • n % 2 = 1