sig
  val ( $| ) : x -> x -> x
  val ( $& ) : x -> x -> x
  val ( !* ) : x -> x
  val ( !+ ) : x -> x
  val ( !? ) : x -> x
  val ( !: ) : S.t -> x
  val ( !^ ) : (S.t -> bool) -> x
  val ( !~ ) : S.t Cf_seq.t -> x
  val ( $= ) : Cf_dfa.T.x -> '-> 'Cf_dfa.T.r
  val ( $> ) : Cf_dfa.T.x -> (S.t Cf_seq.t -> 'a) -> 'Cf_dfa.T.r
  val ( $@ ) : Cf_dfa.T.x -> (int -> 'Cf_dfa.T.t) -> 'Cf_dfa.T.r
  val ( !@ ) : 'Cf_dfa.T.r list -> 'Cf_dfa.T.r
end