def AaPtraceRule.append

bend-osdev-apparmor@0.1.0.0 · rule_ptrace.bend:155

import Base

155def AaPtraceRule.append(xs: List<&2, AaPtraceRule>, ys: List<&2, AaPtraceRule>) -> List<&2, AaPtraceRule>:
156  match xs:
157    case Nil{}:
158      ys
159    case Con{h, t}:
160      Con{h, AaPtraceRule.append(t, ys)}