Elliptic_curve_lib.Point
module Jacobian : sig ... end
Jacobian representation of a point
Affine representation of a point. Can be converted to Jacobian by setting z = 1.
module Affine : sig ... end