byte_array.empty

pure function empty(): boolean

Returns true if this byte_array is empty, false otherwise.

x.empty() is equivalent to x.size() == 0.

Since 0.6.0