Removed testing cruft

[SXSI/xpathcomp.git] / ata.mli

diff --git a/ata.mli b/ata.mli
index e446c8a..32f28a0 100644 (file)
--- a/ata.mli
+++ b/ata.mli
@@ -1,8 +1,8 @@
-(* module Ptset : sig
+(*  module Ptset : sig
   include Set.S with type elt = int
   val from_list : elt list -> t
  end
-*)
+   *)
 
 type state = int
 val mk_state : unit -> state
@@ -76,4 +76,10 @@ end
 module BottomUpNew : 
 sig
   val run : t -> Tree.Binary.t -> TS.t
+  val run_count : t -> Tree.Binary.t -> int
+end
+
+module Jump : 
+sig
+  val run : t -> Tree.Binary.t -> Ptset.t -> TS.t
 end