bend-lawful-stdlib@0.1.0.0 · src/nat.bend:41
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat
import Base 41law le_refl: 42 for a: Nat 43 LE(a, a)