def pct.two

cswap-bend-cli@0.1.0.0 · policy/usage.bend:8

import Base

8def pct.two(+t: Nat, +o: Nat) -> String:
9  match o:
10    case 0n:
11      Nat.show(t)
12    case 1n+p:
13      Nat.show(t) ++ Nat.show(o)