Hacl_Bignum256_32_add_mod

evercrypt_tiny_sys

Function Hacl_Bignum256_32_add_mod 

Source 
pub unsafe extern "C" fn Hacl_Bignum256_32_add_mod(
    n: *mut u32,
    a: *mut u32,
    b: *mut u32,
    res: *mut u32,
)