NoSuchSetVar

constructor(varId: K3VariableId)(source)