$tilde top-level constant Null safety

int const $tilde

small tilde ('˜')

Implementation

const int $tilde = 0x02DC;