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