The functions whose result is bounded no matter what flows in, read back from the SemanticCallTag.Narrows
built-ins: with an ArgProp.Bounds parameter the result is one of that argument's values (match.arg
and its choices), without one it is a count, an index, or a logical of the call's own making. Label a
built-in Narrows (in the DefaultBuiltinConfig or your own definitions) and it shows up here.
The functions whose result is bounded no matter what flows in, read back from the SemanticCallTag.Narrows built-ins: with an ArgProp.Bounds parameter the result is one of that argument's values (
match.argand itschoices), without one it is a count, an index, or a logical of the call's own making. Label a built-inNarrows(in the DefaultBuiltinConfig or your own definitions) and it shows up here.