def tr

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

import Base

29def tr(-a: Nat, -b: Nat, -c: Nat, e1: {a == b : Nat}, e2: {b == c : Nat}) -> {a == c : Nat}:
30  Equal.trans(Nat, a, b, c, e1, e2)