def first_some

cswap-bend-cli@0.1.0.0 · tui/read.bend:139

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

import Base

139def first_some(+a: Maybe<&2, U32>, +b: Maybe<&2, U32>) -> Maybe<&2, U32>:
140  match a:
141    case None{}:
142      b
143    case Some{x}:
144      a

Uses (2)

U32
Maybe

Used by (2)