Docs
chromia.com

FUNCTION

virtual_list.empty

pure function empty(): boolean

Since 0.9.0