aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/lexer.mli
blob: cbc4bc49e05a2cd72451e392a897c8e3a4450206 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

(* $Id$ *)

val add_keyword : string -> unit

val func : char Stream.t -> (string * string) Stream.t * (int -> int * int)

val add_token : Token.pattern -> unit

val tparse : string * string -> (string * string) Stream.t -> string

val token_text : string * string -> string