sig
  type token =
      EOF
    | FML of string
    | PRF of string
    | DEF of string
    | COMMENT of string
  val main :
    (Stdlib.Lexing.lexbuf -> ITM_parser.token) ->
    Stdlib.Lexing.lexbuf -> ITM_types.t_itm list
end