def plan.exh

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

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

212def plan.exh(ex: Bool, +i: U32) -> U32:
213  Clock.sel(ex, max_u(i, exhausted_interval()), i)