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