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
16 (StateSet.t * StateSet.t * StateSet.t) *
17 (StateSet.t * StateSet.t * StateSet.t)
18 val compare : t -> t -> int
20 val print : Format.formatter -> t -> unit
21 val is_true : t -> bool
22 val is_false : t -> bool
26 [ `Left | `Right | `Epsilon ] -> bool -> StateSet.elt -> t
27 val pred_ : Tree.Predicate.t -> t
30 val and_ : t -> t -> t
31 val of_bool : bool -> t
32 val or_pred : t -> t -> t
33 val and_pred : t -> t -> t
37 val ( +| ) : t -> t -> t
38 val ( *& ) : t -> t -> t
40 [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t
42 [ `Left | `Right | `Epsilon ] -> StateSet.elt -> t