Text.pct1.fin: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage/text.bend as Text
Lines 133-138 of cswap-bend-cli@0.1.0.0/usage/text.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/text.bend&start_line=133&end_line=138

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

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

Uses (13):
  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
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/text.bend&name=pct1.show