package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Mltop.PluginSpec`Source

Coq plugins are identified by their OCaml library name (in the Findlib sense)

Sourcetype t

A plugin is identified by its canonical library name, such as rocq-runtime.plugins.ltac

Sourceval to_package : t -> string

to_package p returns the findlib name of the package

Sourceval pp : t -> string