def walk.push

bend-kit-netip@0.1.0.0 · netip.bend:111

import Base

111def walk.push(st: Walk, +g: U32) -> Walk:
112  match st:
113    case NoGap{pre}:
114      NoGap{g <> pre}
115    case Gap{pre, post}:
116      Gap{pre, g <> post}