module type Param = sig .. end
sig
end
val prec : int
int
val mode : Mpfr.rounding_mode
Mpfr.rounding_mode