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