Inference/src/TypeSystem/UnionType.cs
/// <summary>
/// To know if it is a type variable with no substitution
/// </summary>
/// <returns>True in case it is a fresh variable with no substitution</returns>
/// <remarks>Return true if all of subtypes are fresh variables.</remarks>
To know if it is a type variable with no substitution
To know if it is a type variable with no substitution
public override bool IsFreshVariable() {
            foreach (TypeExpression type in this.typeSet)
                if (!type.IsFreshVariable())
                    return false;
            return true;
        }
public override bool IsFreshVariable ( ) { foreach ( TypeExpression type in this . typeSet ) if ( ! type . IsFreshVariable ( ) ) return false ; return true ; }
To know if it is a type variable with no substitution
To know if it is a type variable with no substitution
True in case it is a fresh variable with no substitution
True in case it is a fresh variable with no substitution
remarks
Return true if all of subtypes are fresh variables.
Return true if all of subtypes are fresh variables .