$_empty_treap_node top-level property
dynamic
$_empty_treap_node
getter/setter pair
Implementation
dc.dynamic $_empty_treap_node=lcoc_core.TreapNode(0, (dc.List<dc.dynamic>.empty()), );