Intern.Provenance
type t = string * string
A pair of kind, object, for example "file", "/usr/local/foo.vo", used for error messages.
kind, object
"file", "/usr/local/foo.vo"