Usage.pct.two: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage Lines 8-13 of cswap-bend-cli@0.1.0.0/policy/usage.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/usage.bend&start_line=8&end_line=13 import Base def pct.two(+t: Nat, +o: Nat) -> String: match o: case 0n: Nat.show(t) case 1n+p: Nat.show(t) ++ Nat.show(o) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append