settings

The user-facing optimization settings, for the docs page and its drift test.

SETTINGSconstantProvisional: importable, but outside the compatibility promise; a minor release can change or remove it.
SettingSpecclassA user-facing optimization setting.

SETTINGS: tuple[SettingSpec, ...] = (GOAL, ALLOW_APPROXIMATE, *, CONSTANT_PLACEMENT)

Provisional: importable, but outside the compatibility promise; a minor release can change or remove it.

SettingSpec(name: str, keys: tuple[str, ...], default: str, values: tuple[str, ...], summary: str) -> None

dataclass

A user-facing optimization setting.

Provisional: importable, but outside the compatibility promise; a minor release can change or remove it.

name: str

Short name of the setting.

keys: tuple[str, ...]

Configuration keys that set it.

default: str

Its default value.

values: tuple[str, ...]

Accepted values.

summary: str

What it changes.