$txt top-level property

Txt $txt

Implementation

Txt get $txt => Txt();