The module definition.