Function idShortsOfVariablesAreUnique

idShortsOfVariablesAreUnique(inputVariables: Iterable<OperationVariable>, outputVariables: Iterable<OperationVariable>, inoutputVariables: Iterable<OperationVariable>): boolean
Check that all idShort's are unique among values of inputVariables, outputVariables and inoutputVariables.

Returns
true if the check passes
Parameters
- inputVariables: Iterable<OperationVariable>
  
  to be verified
- outputVariables: Iterable<OperationVariable>
  
  to be verified
- inoutputVariables: Iterable<OperationVariable>
  
  to be verified
Returns boolean
- Defined in verification.ts:1745