empty_array

guppylang.std.array.empty_array() → array

Construct an array with all elements borrowed.

Elements must be added with array.put before they can be accessed. Since no elements are present initially, array.discard_all_taken may be called immediately.