method with_fact

with_fact(key: FactKey[RecordT], value: RecordT, *, replace: bool = False) -> SemanticFacts

Source: packages/irx/src/irx/analysis/facts.py:173

Return a checked update, rejecting accidental record replacement.

Parameters

• key — Type: FactKey[RecordT]

• value — Type: RecordT

• replace — Type: bool

Returns

Type: SemanticFacts