Module Promelalexer_withexps

module Promelalexer_withexps: sig .. end

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