File: creal_pp.ml

package info (click to toggle)
mlgmp 20021123-20
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 512 kB
  • sloc: ansic: 3,257; ml: 3,126; makefile: 167
file content (7 lines) | stat: -rw-r--r-- 98 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7

open Format

let precision = ref 20;;

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