ulkb.Expression.has_type_constructors#

Expression.has_type_constructors()[source]#

Tests whether some type constructor occurs in expression.

Returns:

True if successful; False otherwise.