Base · base.bend:2272
import Base
2272law Nat.show.go: 2273 for f : Nat 2274 for n : Nat 2275 for acc : String 2276 String