package rocq-runtime

  1. Overview
  2. Docs

Module Libobject.ExportObjSource

Sourcetype t = {
  1. mpl : (open_filter * Names.ModPath.t) list;
}