def nonempty_result

import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveList

import Base

106def nonempty_result(~S: Type, ~N: Data, r: S & Maybe<&2, N>) -> S & Bool:
107  (s, m) = r
108  (s, Maybe.is_some(&2, N, m))

Uses (5)