File: pretty_gmp.mli

package info (click to toggle)
mlgmp 20021123-18
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 468 kB
  • ctags: 944
  • sloc: ansic: 3,176; ml: 2,686; sh: 194; makefile: 167
file content (13 lines) | stat: -rw-r--r-- 397 bytes parent folder | download | duplicates (8) 
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