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.