Module type Gmp.F.Param

module type Param = sig .. end

val prec : int