Num.canon.digits: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/num.bend as Num Lines 267-270 of bend-toon-codec@0.1.0.0/src/num.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&start_line=267&end_line=270 import Base def canon.digits(+neg: Bool, +s: Sp2) -> String: match s: case Sp2{d, p}: canon.zero(String.is_empty(d), neg, d, p) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=Sp2 https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=canon.zero