ulkb.Expression.has_type_variables#

Expression.has_type_variables()[source]#

Tests whether some type variable occurs in expression.

Returns:

True if successful; False otherwise.