Base · base.bend:2350
import Base
2350law U32.show.go: 2351 for f : Nat 2352 for +n : U32 2353 for acc : String 2354 String