Mec.CurveSigmodule type BASE = sig ... endBasic interface for elliptic curves
module type WeierstrassT = sig ... endCurve in Weierstrass form with a and b. In affine, the curve has the equation form y² = x³ + ax + b
module type AffineWeierstrassT = sig ... endmodule type ProjectiveWeierstrassT = sig ... endmodule type JacobianWeierstrassT = sig ... endmodule type MontgomeryT = sig ... endmodule type AffineMontgomeryT = sig ... endmodule type AffineEdwardsT = sig ... endmodule type PAIRING = sig ... end