def AaText.tail

bend-osdev-apparmor@0.1.0.0 · text.bend:167

import Base

167# split at the first "//": the text before it, and the rest after it
168def AaText.tail(xs: List<&2, U32>) -> List<&2, U32>:
169  match xs:
170    case Nil{}:
171      Nil{}
172    case Con{h, t}:
173      t