module Script: sig
.. end
type
token =
| |
Id of string |
| |
Key of string |
| |
Proof of string |
| |
Word |
| |
Eof |
val fill : Buffer.t -> Lexing.lexbuf -> unit
val newline : Lexing.lexbuf -> unit
val __ocaml_lex_tables : Lexing.lex_tables
val token : input -> token
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> token
: int -> Lexing.lexbuf -> token
: int -> Lexing.lexbuf -> int -> token
val proof : Buffer.t -> int -> Lexing.lexbuf -> unit
val __ocaml_lex_proof_rec : Buffer.t -> int -> Lexing.lexbuf -> int -> unit
val skip : input -> unit
val __ocaml_lex_skip_rec : int -> Lexing.lexbuf -> int -> unit
val filter : string -> string option
type
input = {
}
val open_file : string -> input
val pp_token : Lexing.lexbuf -> Format.formatter -> token -> unit
val skip : input -> unit
val token : input -> token
val close : input -> unit
val error : input -> ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
val key : input -> string -> bool
val eat : input -> string -> unit
val ident : input -> string
val idents : input -> string list