def down

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

import Base

117# the point one place left: the last integer digit, or a 0 before the
118# first, moves after the point
119def down(dec: Dec) -> Dec:
120  match dec:
121    case Dec{left, right}:
122      match left:
123        case SNil{}:
124          Dec{"", SCon{'0', right}}
125        case SCon{hd, tl}:
126          Dec{tl, SCon{hd, right}}