package rocq-runtime
Module Tuto4_plugin.MyexternalsSource
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.
Tuto4_plugin.MyexternalsSourceWe 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.