| True
| Or of 'formula * 'formula
| And of 'formula * 'formula
- | Move of (move * bool * State.t)
- | Label of QNameSet.t
+ | Move of move * bool * State.t
(** View of the internal representation of a formula,
used for pattern matching *)
val of_bool : bool -> t
(** Convert an ocaml Boolean value to a formula *)
-
-module Infix : sig
- val ( +| ) : t -> t -> t
- val ( *& ) : t -> t -> t
- val ( *+ ) : move -> StateSet.elt -> t
- val ( *- ) : move -> StateSet.elt -> t
-end
-(** Module to facilitate infix notations of formulae.
- Just [open Formla.Infix] and write:
- [let f = `Left *+ q1 +| `Right *+ q2 in ...]
-*)