def eta.of

cswap-bend-cli@0.1.0.0 · view.bend:103

import Base

103def eta.of(+p: U32, +elapsed: U32, +fetched: U32) -> Maybe<&2, U32>:
104  eta.pick(U32.is_eq(elapsed, 0) || U32.is_eq(p, 0), p, elapsed, fetched)