Poll.tenths.mk: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/poll.bend as Poll
Lines 89-94 of cswap-bend-cli@0.1.0.0/poll.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/poll.bend&start_line=89&end_line=94

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

def tenths.mk(+i: String, +f: String) -> Maybe<&2, U32>:
  do Maybe<&2, U32>:
    ip : U32 <- U32.read(i)
    f1 : U32 <- Clock.num(f ++ "00", 0n, 1n)
    f2 : U32 <- Clock.num(f ++ "00", 1n, 1n)
    return (ip * 10 + f1 + Clock.sel(U32.is_ge(f2, 5), 1, 0) : U32)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.read
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=num
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=sel