slice_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 slice_func(this, start_element, end_element)

Type	Intent		Name
class(list),	intent(in)	::	this
integer,	intent(in)	::	start_element	The index of the first element in the slice to be returned
integer,	intent(in)	::	end_element	The index of the last element in the slice to be returned

A list containing the elements within the slice.