`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 -> 'a -> 'a Cf_dfa.T.r
val ( $> ) : Cf_dfa.T.x -> (S.t Cf_seq.t -> 'a) -> 'a Cf_dfa.T.r
val ( $@ ) : Cf_dfa.T.x -> (int -> 'a Cf_dfa.T.t) -> 'a Cf_dfa.T.r
val ( !@ ) : 'a Cf_dfa.T.r list -> 'a Cf_dfa.T.r
end`