Function curve25519_fiat_sys::fiat_25519_subborrowx_u51

pub unsafe extern "C" fn fiat_25519_subborrowx_u51(
    out1: *mut u64, 
    out2: *mut fiat_25519_uint1, 
    arg1: fiat_25519_uint1, 
    arg2: u64, 
    arg3: u64
)