has_func – FIAT

action_sub addition_func append_sub blank_sub clear_sub comparison_func concat_func container_return delete_multiple_sub delete_single_sub delete_slice_sub diff_func empty_func enum_func filter_func filter_func foreach_sub get_count_func get_func get_func get_func get_func get_index_func get_indices_func get_last_index_func guard has_func has_func insert_sub intersect_func iter_sub iterator_return keys_func logical_return max_func max_func min_func min_func multiple_sub nearest_func nearest_func peek_func peek_func peek_func pop_func pop_func pop_func pure_diff_func push_sub push_sub relation_func remove_all_sub remove_last_sub remove_sub remove_val_sub set_func set_multiple_sub set_single_sub single_sub size_func slice_func sort_sub subtraction_func sum_func sum_func test_func to_array_func type_func union_func update_map_sub update_multimap_sub update_sub values_func

abstract interface
private pure function has_func(this, item)

Type	Intent	Optional	Attributes		Name
class(data_set),	intent(in)			::	this
class(*),	intent(in)			::	item	An item which may be contained in the set

Whether item is present in this set