def now_pick

cswap-bend-cli@0.1.0.0 · tui/run.bend:137

import cswap-bend-cli@0.1.0.0/tui/run.bend as Run

import Base
import cswap-bend-cli@0.1.0.0/tui/num.bend as N

137def now_pick(+pinned: String, +real: U32) -> U32:
138  N.read_or(U32.read(pinned), real)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/tui/run:clock_now