Docs
chromia.com

FUNCTION

virtual_set.size

pure function size(): integer

Since 0.9.0