Module Lexer


module Lexer: sig  end
A lexer for terms.


A lexer for terms.

val keyword : string -> Parser.token
val lex_tables : Lexing.lex_tables
val token : Lexing.lexbuf -> Parser.token
Parameters:
lexbuf : Lexing.lexbuf
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parser.token
Parameters:
lexbuf : Lexing.lexbuf
state : int