Inference/src/TypeSystem/UnionType.cs
/// <summary>
/// To know if it has a element with intersection.
/// </summary>
/// <returns>True if has a intersection type.</returns>
/// <remarks>Return true if, at least, one of subtypes is intersection type.</remarks>
To know if it has a element with intersection.
To know if it has a element with intersection .
public override bool HasIntersectionVariable() {
            foreach (TypeExpression type in this.typeSet)
                if (TypeExpression.Is<IntersectionType>(type))
                    return true;
            return false;
        }
public override bool HasIntersectionVariable ( ) { foreach ( TypeExpression type in this . typeSet ) if ( TypeExpression . Is < IntersectionType > ( type ) ) return true ; return false ; }
To know if it has a element with intersection.
To know if it has a element with intersection .
True if has a intersection type.
True if has a intersection type .
remarks
Return true if, at least, one of subtypes is intersection type.
Return true if at least one of subtypes is intersection type .