def near
import bend-kit-collections@0.1.4.1/nat_order.bend as NatOrderimport Base
251def near(+a: Nat, +b: Nat) -> Bool:
252 Bool.and(Nat.is_le(a, 1n+b), Nat.is_le(b, 1n+a))
import bend-kit-collections@0.1.4.1/nat_order.bend as NatOrderimport Base
251def near(+a: Nat, +b: Nat) -> Bool:
252 Bool.and(Nat.is_le(a, 1n+b), Nat.is_le(b, 1n+a))