(* $Id$ * ---------------------------------------------------------------------- * *) let nat_printer fmt v = Format.fprintf fmt "<nat %s>" (Nat.string_of_nat v) let big_int_printer fmt v = Format.fprintf fmt "<big_int %s>" (Big_int.string_of_big_int v) let ratio_printer fmt v = Format.fprintf fmt "<ratio %s>" (Ratio.string_of_ratio v) let num_printer fmt v = Format.fprintf fmt "<num %s>" (Num.string_of_num v)