controller.utilities.configuration.CoreEnvModel.DEFAULT_DHLEN

CoreEnvModel.DEFAULT_DHLEN: PositiveInt