Module `Checked.Assert`

val on_curve : t -> unit Impl.Checked.t

val equal : t -> t -> unit Impl.Checked.t