Closed kumasento closed 3 years ago
Just imagine that two domains have conflicting constraints on the same symbol, and that will simply make the merged context failed.
Just imagine that two domains have conflicting constraints on the same symbol, and that will simply make the merged context failed.