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