text.empty

pure function empty(): boolean

Returns true if this text is empty, false otherwise.

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

Since 0.6.0