Make_weierstrass_checked.3-Curve
type t
val random : unit -> t
val to_affine_exn : t -> F.Unchecked.t * F.Unchecked.t
val of_affine : (F.Unchecked.t * F.Unchecked.t) -> t
val double : t -> t
val (+) : t -> t -> t
val negate : t -> t
val scale : t -> Scalar.t -> t