Type Alias DomainExpression<T>

DomainExpression<T>:
    | DomainLiteral
    | ["Union", ...DomainExpression<T>[]]
    | ["Intersection", ...DomainExpression<T>[]]
    | ["ListOf", DomainExpression<T>]
    | ["DictionaryOf", DomainExpression<T>]
    | ["TupleOf", ...DomainExpression<T>[]]
    | ["OptArg", ...DomainExpression<T>[]]
    | ["VarArg", DomainExpression<T>]
    | ["Covariant", DomainExpression<T>]
    | ["Contravariant", DomainExpression<T>]
    | ["Bivariant", DomainExpression<T>]
    | ["Invariant", DomainExpression<T>]
    | ["FunctionOf", ...DomainExpression<T>[]]

Type Parameters