installExtraDefinitions

open override fun installExtraDefinitions(module: Module)