def head_opt

cswap-bend-cli@0.1.0.0 · tui/run.bend:255

import cswap-bend-cli@0.1.0.0/tui/run.bend as Run
import Base

255def head_opt(+l: List<&2, String>) -> Maybe<&2, String>:
256  match l:
257    case Nil{}:
258      None{}
259    case Con{h, t}:
260      Some{h}

Uses (3)

Used by (1)