-
-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 ...]
-*)