Module Dynamic_plugins

module Dynamic_plugins: sig .. end
This module contains all the dynamically registered plugins

module Print_api: sig .. end
module RteGen: sig .. end