ulkb.Expression.has_type_variables# Expression.has_type_variables()[source]# Tests whether some type variable occurs in expression. Returns: True if successful; False otherwise.