2-Weierstrass_curve.Checked
val constant : t -> var
val add_unsafe : var -> var -> [ `I_thought_about_this_very_carefully of var ] Impl.Checked.t
val add_known_unsafe : var -> t -> [ `I_thought_about_this_very_carefully of var ] Impl.Checked.t