def div100.parts

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

import Base

111def div100.parts(ps: List<&2, String>) -> Maybe<&2, String>:
112  match ps:
113    case Con{i, Con{f, Nil{}}}:
114      div100.fin("00" ++ i, f)
115    case _:
116      None{}