def ceil_of

cswap-bend-cli@0.1.0.0 · poll.bend:367

import cswap-bend-cli@0.1.0.0/poll.bend as Poll

import Base
import cswap-bend-cli@0.1.0.0/clock.bend as Clock

367def ceil_of(active: Bool) -> U32:
368  Clock.sel(active, active_ceiling(), candidate_ceiling())

Uses (5)

Used by (1)

cswap-bend-cli@0.1.0.0/poll:plan.start