Hacl_Bignum256_32_mul

Function Hacl_Bignum256_32_mul 

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