def AaDbus.nth

bend-osdev-apparmor@0.1.0.0 · rule_dbus.bend:182

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G

182def AaDbus.nth(n: Nat, xs: List<&2, Maybe<&2, G.AaGlob>>) -> Maybe<&2, G.AaGlob>:
183  match n:
184    case 0n:
185      match xs:
186        case Nil{}:
187          None{}
188        case Con{x, rest}:
189          x
190    case 1n+m:
191      match xs:
192        case Nil{}:
193          None{}
194        case Con{x, rest}:
195          AaDbus.nth(m, rest)