def reset.sooner

cswap-bend-cli@0.1.0.0 · policy/pick.bend:98

import Base

98def reset.sooner(+rc: Maybe<&2, Nat>, +ars: Maybe<&2, Nat>) -> Bool:
99  match rc ars:
100    case Some{a} Some{b}:
101      Nat.is_lt(a, b)
102    case o _:
103      False{}