summaryrefslogtreecommitdiff
path: root/creal_pp.ml
blob: 2503a685324b438cbf61cdcdd39a81d0e46c9284 (plain)
1
2
3
4
5
6
7
open Format

let precision = ref 20;;

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