extension PumpSettingsEditor { final class Builder: BaseModuleBuilder<RootView, ViewModel<Provider>, Provider> {} }