Module Plugin

module Plugin: sig .. end

module Make: 
functor (U : sig
end) -> sig .. end

val execute_plugin_if_needed : unit -> unit