$empty top-level constant Null safety

int const $empty

empty set (null set); see also U+8960, ⌀ ('∅')

Implementation

const int $empty = 0x2205;