def pct.frac.pair
import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usageimport Base
15def pct.frac.pair(qr: Nat & Nat) -> String:
16 (t, o) = qr
17 pct.two(t, o)
import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usageimport Base
15def pct.frac.pair(qr: Nat & Nat) -> String:
16 (t, o) = qr
17 pct.two(t, o)