package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Tuto4_plugin`Source

Sourcemodule Myexternals : sig ... end

We don't need to expose any APIs for the plugin to work, but we may if we want to allow further plugins to build on this one.