package rocq-runtime

  1. Overview
  2. Docs

Module Intern.ProvenanceSource

Sourcetype t = string * string

A pair of kind, object, for example "file", "/usr/local/foo.vo", used for error messages.