Checked.Assert
val on_curve : t -> unit Fq.Impl.Checked.t
val equal : t -> t -> unit Fq.Impl.Checked.t