def rec.min

cswap-bend-cli@0.1.0.0 · policy/rank.bend:62

import Base

62def rec.min(+x: Maybe<&2, Nat>, +y: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
63  match x y:
64    case None{} _:
65      y
66    case Some{a} None{}:
67      x
68    case Some{a} Some{b}:
69      Some{Nat.min(a, b)}