diff options
Diffstat (limited to 'lib/bignat.mli')
-rw-r--r-- | lib/bignat.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/bignat.mli b/lib/bignat.mli index 173d43e4c..4d45d2ba2 100644 --- a/lib/bignat.mli +++ b/lib/bignat.mli @@ -8,6 +8,10 @@ (* $Id$ *) +(*i*) +open Pp +(*i*) + (* Arbitrary big natural numbers *) type bignat @@ -27,3 +31,5 @@ val mult_2 : bignat -> bignat val less_than : bignat -> bignat -> bool type bigint = POS of bignat | NEG of bignat + +val pr_bigint : bigint -> std_ppcmds |