def soon.min

cswap-bend-cli@0.1.0.0 · policy/usage.bend:130

import Base

130def soon.min(+a: Maybe<&2, Nat>, +b: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
131  match a b:
132    case None{} _:
133      b
134    case Some{x} None{}:
135      a
136    case Some{x} Some{y}:
137      Some{Nat.min(x, y)}