bend-lawful-stdlib@0.1.0.0 · src/nat.bend:121
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat
import Base 121law IsTrue: 122 for c: Bool 123 Type