creal_pp.ml 98 Bytes
Newer Older
1 2 3 4 5 6 7

open Format

let precision = ref 20;;

let pp x = print_string (Creal.to_string x !precision);;