def AaGCuts.empty_first

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

import Base

254# the cuts with an empty first piece
255def AaGCuts.empty_first(ds: List<&2, List<&2, List<&2, U32>>>) -> List<&2, List<&2, List<&2, U32>>>:
256  match ds:
257    case Nil{}:
258      Nil{}
259    case Con{d, t}:
260      Con{Con{Nil{}, d}, AaGCuts.empty_first(t)}