# Module type Cf_dfa.T.Expr_Op_T

    module type Expr_Op_T = sig .. end

The signature of modules containing operators for composing DFA expressions.

    val ($|) : Cf_dfa.T.x -> Cf_dfa.T.x -> Cf_dfa.T.x

Use `a $| b` to compose an expression that matches either `a` or `b` in the symbol stream.

    val ($&) : Cf_dfa.T.x -> Cf_dfa.T.x -> Cf_dfa.T.x

Use `a $& b` to compose an expression that matches `a` followed by `b` in the symbol stream.

    val ( !* ) : Cf_dfa.T.x -> Cf_dfa.T.x

Use `!*a` to compose an expression that matches zero or more occurances of `a` in the symbol stream.

    val (!+) : Cf_dfa.T.x -> Cf_dfa.T.x

Use `!+a` to compose an expression that matches one or more occurances of `a` in the symbol stream.

    val (!?) : Cf_dfa.T.x -> Cf_dfa.T.x

Use `!?a` to compose an expression that matches zero or one occurance of `a` in the symbol stream.

    val (!:) : S.t -> Cf_dfa.T.x

Use `!:sym` to compose an expression that matches the symbol `sym` in the symbol stream.

    val (!^) : (S.t -> bool) -> Cf_dfa.T.x

Use `!^f` to compose an expression that matches any symbol in the symbol stream for which applying the function `f` returns `true`.

    val (!~) : S.t Cf_seq.t -> Cf_dfa.T.x

Use `!~z` to compose an expression that matches the sequence of symbols `z` in the symbol stream.