def max_opt

cswap-bend-cli@0.1.0.0 · tui/view.bend:160

import Base

160def max_opt(+a: Maybe<&2, U32>, +b: Maybe<&2, U32>) -> Maybe<&2, U32>:
161  match a b:
162    case None{} _:
163      b
164    case Some{x} None{}:
165      a
166    case Some{x} Some{y}:
167      Some{U32.max(x, y)}