Run.out_of: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/tui/run.bend as Run Lines 98-101 of cswap-bend-cli@0.1.0.0/tui/run.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&start_line=98&end_line=101 import Base def out_of(v: U32 & (String & String)) -> String: (st, oe) = v (o, e) = oe o Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32