Module Promelalexer

module Promelalexer: sig .. end

exception Error of (Lexing.position * Lexing.position) * string
val loc : Lexing.lexbuf -> Lexing.position * Lexing.position
val raise_located : Lexing.position * Lexing.position -> string -> 'a
val buf : Buffer.t
val newline : Lexing.lexbuf -> unit
val __ocaml_lex_tables : Lexing.lex_tables
val token : Lexing.lexbuf -> Promelaparser.token
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Promelaparser.token
val comment : Lexing.lexbuf -> unit
val __ocaml_lex_comment_rec : Lexing.lexbuf -> int -> unit
val parse : Pervasives.in_channel -> Promelaast.parsed_automaton