From fad76e59fbaa7371252753a9bc55650aacf6c43c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 24 Nov 2002 22:21:39 +0000
Subject: Ajout zero

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3264 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/bignat.ml  | 1 +
 lib/bignat.mli | 1 +
 2 files changed, 2 insertions(+)

diff --git a/lib/bignat.ml b/lib/bignat.ml
index 0cbd7bd54a..bac8796446 100644
--- a/lib/bignat.ml
+++ b/lib/bignat.ml
@@ -41,6 +41,7 @@ let rec to_string s =
 let is_nonzero a =
   let b = ref false in Array.iter (fun x -> b := x <> 0 || !b) a; !b
 
+let zero = [|0|]
 let one = [|1|]
 
 let is_one a =
diff --git a/lib/bignat.mli b/lib/bignat.mli
index 4d45d2ba2b..d901f556fe 100644
--- a/lib/bignat.mli
+++ b/lib/bignat.mli
@@ -20,6 +20,7 @@ val of_string : string -> bignat
 val to_string : bignat -> string
 
 val is_nonzero : bignat -> bool
+val zero : bignat
 val one : bignat
 val is_one : bignat -> bool
 val div2_with_rest : bignat -> bignat * bool (* true=odd; false=even *)
-- 
cgit v1.2.3