fn cSwap2(a0: *Fe, b0: *Fe, a1: *Fe, b1: *Fe, c: u64) void

Conditionally swap two pairs of field elements if c is positive

Parameters

a0: *Fe,
b0: *Fe,
a1: *Fe,
b1: *Fe,
c: u64,