Module Mdr_register

module Mdr_register: sig .. end

Registration of the main entry point of the plug-in. Nothing is exported