sig
val ( $| ) : Cf_dfa.T.x -> Cf_dfa.T.x -> Cf_dfa.T.x
val ( $& ) : Cf_dfa.T.x -> Cf_dfa.T.x -> Cf_dfa.T.x
val ( !* ) : Cf_dfa.T.x -> Cf_dfa.T.x
val ( !+ ) : Cf_dfa.T.x -> Cf_dfa.T.x
val ( !? ) : Cf_dfa.T.x -> Cf_dfa.T.x
val ( !: ) : S.t -> Cf_dfa.T.x
val ( !^ ) : (S.t -> bool) -> Cf_dfa.T.x
val ( !~ ) : S.t Cf_seq.t -> Cf_dfa.T.x
end