def sy

bend-kit-collections@0.1.4.1 · nat_order.bend:32

import Base

32def sy(-a: Nat, -b: Nat, e: {a == b : Nat}) -> {b == a : Nat}:
33  Equal.sym(Nat, a, b, e)