6 | Atom of ([ `Left |`Right | `Epsilon ] * bool * State.t)
7 | Pred of Tree.Predicate.t
12 val equal : t -> t -> bool
13 val expr : t -> t expr
14 val st : t -> StateSet.t * StateSet.t
15 val compare : t -> t -> int
17 val print : Format.formatter -> t -> unit
18 val is_true : t -> bool
19 val is_false : t -> bool
23 [ `Left | `Right | `Epsilon ] -> bool -> StateSet.elt -> t
24 val pred_ : Tree.Predicate.t -> t
27 val and_ : t -> t -> t
28 val of_bool : bool -> t
29 val or_pred : t -> t -> t
30 val and_pred : t -> t -> t
34 val ( +| ) : t -> t -> t
35 val ( *& ) : t -> t -> t
37 [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t
39 [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t