def AaGCuts.grow

bend-osdev-apparmor@0.1.0.0 · glob.bend:262

import Base

262# the cuts with h put in front of the first piece
263def AaGCuts.grow(+h: U32, ds: List<&2, List<&2, List<&2, U32>>>) -> List<&2, List<&2, List<&2, U32>>>:
264  match ds:
265    case Nil{}:
266      Nil{}
267    case Con{d, t}:
268      match d:
269        case Nil{}:
270          AaGCuts.grow(h, t)
271        case Con{p, ps}:
272          Con{Con{Con{h, p}, ps}, AaGCuts.grow(h, t)}