Function Hacl_Bignum64_mod_precomp

pub unsafe extern "C" fn Hacl_Bignum64_mod_precomp(
    k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64,
    a: *mut u64,
    res: *mut u64,
)

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 outparam res is meant to be len limbs in size, i.e. uint64_t[len]. The argument k is a montgomery context obtained through Hacl_Bignum64_mont_ctx_init.