def equal_from

bendtorch-core@0.1.0.0 · src/shape/core.bend:560

import Base

560def equal_from(+a: Nat, +b: Nat, decided: {True{} == Nat.is_eq(a, b) : Bool}) -> {a == b : Nat}:
561  %equal_decided(a, b, decided) : {a == _ : Nat}
562  {==}