def AaBits.has

bend-osdev-apparmor@0.1.0.0 · perm.bend:69

import Base

69def AaBits.has(a: List<&2, Bool>, i: Nat) -> Bool:
70  match a:
71    case Nil{}:
72      False{}
73    case Con{x, xs}:
74      match i:
75        case 0n:
76          x
77        case 1n+j:
78          AaBits.has(xs, j)