Parameter MakeFp.S

val prime_order : Z.t