Make (mlsem-app.Mlsem_app.Lexer.Make)

Parameters

module P : PAst.ParserExt

module Parser : sig ... end

exception LexerError of string

val __ocaml_lex_tables : Stdlib.Lexing.lex_tables

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

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

val comment : int -> Stdlib.Lexing.lexbuf -> Parser.token

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

val read_string : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Parser.token

val __ocaml_lex_read_string_rec : 
  Stdlib.Buffer.t ->
  Stdlib.Lexing.lexbuf ->
  int ->
  Parser.token

val read_ext : Stdlib.Buffer.t -> int -> Stdlib.Lexing.lexbuf -> Parser.token

val __ocaml_lex_read_ext_rec : 
  Stdlib.Buffer.t ->
  int ->
  Stdlib.Lexing.lexbuf ->
  int ->
  Parser.token