Represents a union conditional type. A conditional is a predicate with a schema
Compiles to a union conditional
Represents a union conditional type. A conditional is a predicate with a schema