Tuto4_plugin
module 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.