def show
import lawful-fields@0.1.1.0/defs.bend as Defsimport Base
166# The decimal digits of a number, as bytes (Base's Nat.show).
167def show(n: U32) -> List<&2, U32>:
168 codes(Nat.show(U32.to_nat(n)))
import lawful-fields@0.1.1.0/defs.bend as Defsimport Base
166# The decimal digits of a number, as bytes (Base's Nat.show).
167def show(n: U32) -> List<&2, U32>:
168 codes(Nat.show(U32.to_nat(n)))