Make.2-Weierstrass_curve
type var = Impl.Field.Var.t * Impl.Field.Var.t
type t
val equal : t -> t -> Ppx_deriving_runtime.bool
val add : t -> t -> t
val zero : t
module Checked : sig ... end