def rec.req

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

import Base

39def rec.req(+x: Maybe<&2, Nat>, +y: Maybe<&2, Nat>) -> Bool:
40  match x y:
41    case None{} None{}:
42      True{}
43    case None{} Some{b}:
44      False{}
45    case Some{a} None{}:
46      False{}
47    case Some{a} Some{b}:
48      Nat.is_eq(a, b)