IdShortsOfVariablesAreUnique🔗

Type: Transpilable verification function

Check that the Referable.idShort's among all the inputVariables, outputVariables and inoutputVariables are unique.

Code

id_short_set: Set[str] = set()
return (
    _collect_unique_ID_shorts_of_variables(input_variables, id_short_set)
    and _collect_unique_ID_shorts_of_variables(output_variables, id_short_set)
    and _collect_unique_ID_shorts_of_variables(inoutput_variables, id_short_set)
)