def path.dec

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml

import Base

2422# one fewer prefix segment, staying at zero
2423def path.dec(+skip: U32) -> U32:
2424  path.dec.z(U32.is_zero(skip), skip)

Uses (3)