Documentation
    Preparing search index...

    Variable WHIRLPOOLS_CONFIG_EXTENSION_ADDRESS

    WHIRLPOOLS_CONFIG_EXTENSION_ADDRESS: Address = DEFAULT_WHIRLPOOLS_CONFIG_EXTENSION_ADDRESS

    The WhirlpoolsConfigExtension address.