blob: da5fda92287e7558047abd40c79e85a823279db0 (
plain)
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
|