I have a value with some type (A || B). That type I get from "Show Type". I guess that this a MeetType. Am I right?
Now I want to check for these kinds of values in an operator override. Specifically I want to override a MultiExpression with a left operand type: "new node<MeetType<C>>" where C is a supertype of A and B. So I want to allow the operation for both A and B types. How do I express this in MPS?