File: pretty_gmp.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 (13 lines) | stat: -rw-r--r-- 397 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
(*****************************************************
GNU MP interface for Objective CAML

v0.14
David.Monniaux@ens.fr
*****************************************************)

val base : int ref
val precision : int ref
val z : Format.formatter -> Gmp.Z.t -> unit
val q : Format.formatter -> Gmp.Q.t -> unit
val f : Format.formatter -> Gmp.F.t -> unit
val fr : Format.formatter -> Gmp.FR.t -> unit