File: creal_pp.mli

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 (3 lines) | stat: -rw-r--r-- 50 bytes parent folder | download | duplicates (11)
1
2
3

val precision : int ref
val pp : Creal.t -> unit