Module Num_top_printers
val nat_printer : Stdlib.Format.formatter -> Nat.nat -> unitval big_int_printer : Stdlib.Format.formatter -> Big_int.big_int -> unitval ratio_printer : Stdlib.Format.formatter -> Ratio.ratio -> unitval num_printer : Stdlib.Format.formatter -> Num.num -> unit