def pct.frac.pair

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

import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage
import Base

15def pct.frac.pair(qr: Nat & Nat) -> String:
16  (t, o) = qr
17  pct.two(t, o)

Uses (5)

Used by (1)