def pct1.fin

cswap-bend-cli@0.1.0.0 · usage/text.bend:133

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

133def pct1.fin(+i: String, +f: String) -> Maybe<&2, String>:
134  do Maybe<&2, String>:
135    ip : U32 <- U32.read(i)
136    fp : U32 <- Clock.num(f ++ "0000", 0n, 3n)
137    rd : U32 <- Clock.num(f ++ "0000", 3n, 1n)
138    return pct1.show((ip * 1000 + fp + Clock.sel(U32.is_ge(rd, 5), 1, 0) : U32))