Function closeUnderAcceptedOperators

closeUnderAcceptedOperators(
    ctx: TArgumentEvaluationContext,
    assignment: TCoreExpressionAssignment,
    options?: TCorePropagationOptions,
): {
    provenance: Record<string, TCoreVariableProvenance>;
    variables: TCoreResolvedVariableValues;
}
propagateOperatorConstraints plus the provenance of every value it saw or produced. The two share one closure, so a tag is recorded where the value is actually set rather than reconstructed afterwards.
Parameters
- ctx: TArgumentEvaluationContext
- assignment: TCoreExpressionAssignment
- Optionaloptions: TCorePropagationOptions
Returns {
provenance: Record<string, TCoreVariableProvenance>;
variables: TCoreResolvedVariableValues;
}
- Defined in src/lib/core/evaluation/argument-evaluation.ts:227