TileDB
TileDB copied to clipboard
Add api function to check if array is empty (has been written to)
This would be a nice api addition for high level api's to check if the array is empty and to write if not (for re-running scripts in repl).