Previous  Up  Next

Module ITM_lexer

module ITM_lexer: sig .. end

Lexer for parsing deinitions and proofs (items). Generated from ITM_lexer.mll with ocamllex.

val line_of_lexbuf : Stdlib.Lexing.lexbuf -> int
val token : Stdlib.Lexing.lexbuf -> ITM_parser.token