Make.4-C
module Affine : sig ... end
type t
val to_affine : t -> Affine.t
val of_affine_coordinates : BaseField.t -> BaseField.t -> t
val add : t -> t -> t
val double : t -> t
val scale : t -> ScalarField.t -> t
val sub : t -> t -> t
val negate : t -> t
val random : unit -> t
val one : unit -> t