Elliptic_curve_intf.S
type field
type t
module Coefficients : sig ... end
module Affine : sig ... end
val (+) : t -> t -> t
val to_affine_exn : t -> field * field
val to_affine : t -> (field * field) option