~/jendhub

def path.dec.z

emerging-eztoml@0.9.0.0 · main.bend:2414

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

2414# one fewer prefix segment, staying at zero
2415def path.dec.z(zz: Bool, skip: U32) -> U32:
2416  match zz:
2417    case True{}:
2418      0
2419    case False{}:
2420      U32.sub(skip, 1)

Uses (3)

Used by (1)