Module Mdr_register

module Mdr_register: sig .. end
Registration of the main entry point of the plug-in. Nothing is exported