def non_empty

import cswap-bend-cli@0.1.0.0/tui/read.bend as Read

import Base

95def non_empty(+s: String) -> Maybe<&2, String>:
96  non_empty_pick(String.is_empty(s), s)

Uses (4)