module Bstack et Edit

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

1 files changed, 16 insertions, 0 deletions

diff --git a/lib/bstack.mli b/lib/bstack.mli
new file mode 100644
index 0000000000..d1f9ae387e
--- /dev/null
+++ b/lib/bstack.mli
@@ -0,0 +1,16 @@
+
+(* $Id$ *)
+
+(* Bounded stacks. If the depth is [None], then there is no depth limit. *)
+
+type 'a t
+
+val create : int option -> 'a t
+val set_depth : 'a t -> int option -> unit
+val push : 'a t -> 'a -> unit
+val app_push : 'a t -> ('a -> 'a) -> unit
+val app_repl : 'a t -> ('a -> 'a) -> unit
+val pop : 'a t -> 'a option
+val top : 'a t -> 'a option
+val is_empty : 'a t -> bool
+val depth : 'a t -> int