pub unsafe extern "C" fn Hacl_Bignum64_eq_mask(
    len: u32,
    a: *mut u64,
    b: *mut u64
) -> u64
Expand description

Returns 2^64 - 1 if a = b, otherwise returns 0.

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