sig
  type tokplus = Utils.token Location.loc
  type lexer_state
  val next_token : Modelica_lexer.lexer_state -> Modelica_lexer.tokplus
  val last_token :
    Modelica_lexer.lexer_state -> Modelica_lexer.tokplus option
  val state_from_utf8_string : string -> string -> Modelica_lexer.lexer_state
  val show_location : Location.t -> string
  val highlight_dumb :
    Format.formatter -> Lexing.lexbuf -> Location.t -> unit
  type 'a loc = 'a Location.loc = { txt : 'a; loc : Location.t; }
end