L.Ecc
val weierstrass_add : (scalar * scalar) repr -> (scalar * scalar) repr -> (scalar * scalar) repr t
val edwards_add : (scalar * scalar) repr -> (scalar * scalar) repr -> (scalar * scalar) repr t
val edwards_cond_add : (scalar * scalar) repr -> (scalar * scalar) repr -> bool repr -> (scalar * scalar) repr t