Lexer (docs.other.smtml.Smtml.Lexer)

exception SyntaxError of string

val keywords : (string, Parser.token) Smtml_prelude.Hashtbl.t

val error : string -> 'a

val __ocaml_lex_tables : Smtml_prelude.Lexing.lex_tables

val token : Smtml_prelude.Lexing.lexbuf -> Parser.token

val __ocaml_lex_token_rec : Smtml_prelude.Lexing.lexbuf -> int -> Parser.token

val comment : Smtml_prelude.Lexing.lexbuf -> Parser.token

val __ocaml_lex_comment_rec : 
  Smtml_prelude.Lexing.lexbuf ->
  int ->
  Parser.token

val string : 
  Smtml_prelude.Buffer.t ->
  Smtml_prelude.Lexing.lexbuf ->
  Parser.token

val __ocaml_lex_string_rec : 
  Smtml_prelude.Buffer.t ->
  Smtml_prelude.Lexing.lexbuf ->
  int ->
  Parser.token