def ups

emerging-ezjson@1.3.0.0 · src/fixed.bend:128

import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed

import Base

128# the point `kk` places right
129def ups(kk: Nat, dec: Dec) -> Dec:
130  match kk:
131    case 0n:
132      dec
133    case 1n+j:
134      ups(j, up(dec))

Uses (3)

Used by (1)

emerging-ezjson@1.3.0.0/src/fixed:move