Parameter Make_weierstrass_checked.2-Scalar

type t
val of_int : int -> t