def centi

cswap-bend-cli@0.1.0.0 · poll.bend:254

import Base

254def centi(m: Maybe<&2, U32>) -> Maybe<&2, Nat>:
255  match m:
256    case Some{t}:
257      Some{U32.to_nat((t * 10 : U32))}
258    case None{}:
259      None{}