sig
  val s_and : ('Stream.t -> 'b) list -> 'Stream.t -> 'b list
  val eof : 'Stream.t -> unit
  val insens : bool
  type repatt = C of char | R of char * char
  val range : ?i:bool -> BNFparseutil.repatt list -> char Stream.t -> char
  val range_n : ?i:bool -> BNFparseutil.repatt list -> char Stream.t -> char
  val mstring : ?i:bool -> string -> char Stream.t -> string
  val chr : int -> char
  val optparse : ('-> char) -> '-> string
  val optparse_1 : ('-> char) -> '-> string
end