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