Hacl_Bignum256_sub

Function Hacl_Bignum256_sub 

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