def downs

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

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

import Base

136# the point `kk` places left
137def downs(kk: Nat, dec: Dec) -> Dec:
138  match kk:
139    case 0n:
140      dec
141    case 1n+j:
142      downs(j, down(dec))

Uses (3)

Used by (1)

emerging-ezjson@1.3.0.0/src/fixed:move