def first_of

cswap-bend-cli@0.1.0.0 · args.bend:127

import cswap-bend-cli@0.1.0.0/args.bend as Args
import Base

127def first_of(xs: List<&2, String>) -> Maybe<&2, String>:
128  match xs:
129    case Con{h, t}:
130      Some{h}
131    case Nil{}:
132      None{}

Uses (3)

Used by (1)