Empty top-level constant

EmptyOption const Empty

Implementation

const Empty = EmptyOption.none();