module definition in Module.md