def AaProfile.list_append

bend-osdev-apparmor@0.1.0.0 · profile.bend:219

import Base

219def AaProfile.list_append(xs: List<&2, AaProfile>, ys: List<&2, AaProfile>) -> List<&2, AaProfile>:
220  match xs:
221    case Nil{}:
222      ys
223    case Con{h, t}:
224      Con{h, AaProfile.list_append(t, ys)}