package rocq-runtime

  1. Overview
  2. Docs

Module Tac2ffi.ModFieldSource

Sourcetype t =
  1. | Ref of Names.GlobRef.t
  2. | Submodule of Names.ModPath.t
  3. | Rewrule