Hacl_Bignum4096_32_add

Function Hacl_Bignum4096_32_add 

Source
pub unsafe extern "C" fn Hacl_Bignum4096_32_add(
    a: *mut u32,
    b: *mut u32,
    res: *mut u32,
) -> u32