sig
  val token : Lexing.lexbuf -> Datalog.Parser.token
  val print_location : Lexing.lexbuf -> string
end