empty tuple tla+ code example Example: empty tuple in python empty_tuple = () # or empty_tuple = tuple()