Moving Searchstack to CStack, and normalizing names a bit.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16765 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 6 insertions, 1 deletions

diff --git a/lib/util.ml b/lib/util.ml
index b7364cbc5..2db11131d 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -69,6 +69,10 @@ module Array : CArray.ExtS = CArray
 
 module Map = CMap
 
+(* Stacks *)
+
+module Stack = CStack
+
 (* Matrices *)
 
 let matrix_transpose mat =
@@ -118,7 +122,8 @@ let delayed_force f = f ()
 
 (* Misc *)
 
-type ('a,'b) union = Inl of 'a | Inr of 'b
+type ('a, 'b) union = ('a, 'b) CSig.union = Inl of 'a | Inr of 'b
+type ('a, 'b) seek = ('a, 'b) CSig.seek = Stop of 'a | Next of 'b
 
 (*s interruption *)