Merge branch 'handle-stdout'

[SXSI/xpathcomp.git] / src / formula.mli

diff --git a/src/formula.mli b/src/formula.mli
index 88763ee..12d13de 100644 (file)
--- a/src/formula.mli
+++ b/src/formula.mli
@@ -3,7 +3,7 @@ type 'a expr =
     | True
     | Or of 'a * 'a
     | And of 'a * 'a
-    | Atom of ([ `Left |`Right ] * bool * State.t)
+    | Atom of ([ `Left |`Right | `Epsilon ] * bool * State.t)
     | Pred of Tree.Predicate.t
 
 type t
@@ -11,10 +11,7 @@ val hash : t -> int
 val uid : t -> Uid.t
 val equal : t -> t -> bool
 val expr : t -> t expr
-val st :
-  t ->
-  (StateSet.t * StateSet.t * StateSet.t) *
-    (StateSet.t * StateSet.t * StateSet.t)
+val st : t -> StateSet.t * StateSet.t
 val compare : t -> t -> int
 val size : t -> int
 val print : Format.formatter -> t -> unit
@@ -23,7 +20,7 @@ val is_false : t -> bool
 val true_ : t
 val false_ : t
 val atom_ :
-  [ `Left | `Right ] -> bool -> StateSet.elt -> t
+  [ `Left | `Right | `Epsilon ] -> bool -> StateSet.elt -> t
 val pred_ : Tree.Predicate.t -> t
 val not_ : t -> t
 val or_ : t -> t -> t
@@ -37,7 +34,7 @@ module Infix : sig
   val ( +| ) : t -> t -> t
   val ( *& ) : t -> t -> t
   val ( *+ ) :
-    [ `Left | `Right ] -> StateSet.elt -> t
+    [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t
   val ( *- ) :
-    [ `Left | `Right ] -> StateSet.elt -> t
+    [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t
 end