Module Script

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
val comment : int -> Lexing.lexbuf -> token
val __ocaml_lex_comment_rec : 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 = {
   src : string;
   inc : Pervasives.in_channel;
   lexbuf : Lexing.lexbuf;
   mutable token : token;
   mutable tik : int;
}
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