UnaryTypeOperation.ceylon

"A unary type operation.
 
 A subclass of [[UnaryIshOperation]], not [[BinaryOperation]],
 because the second child is a [[type]] rather than a [[ValueExpression]]."
shared abstract class UnaryTypeOperation()
        of IsOperation | OfOperation
        extends UnaryIshOperation() {
    
    shared actual formal ExistsNonemptyExpression operand;
    
    shared actual formal Type type;
    
    prefix = false;
}