set_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 function set_func(this, key, val)

Type	Intent		Name
class(dictionary),	intent(inout)	::	this
class(*),	intent(in)	::	key	The key whose value is to be set
class(*),	intent(in)	::	val	The value to be assigned to the specified key