| 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
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
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
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