package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tuto4_pluginSource

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.