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