sig
val s_and : ('a Stream.t -> 'b) list -> 'a Stream.t -> 'b list
val eof : 'a 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 : ('a -> char) -> 'a -> string
val optparse_1 : ('a -> char) -> 'a -> string
end