def AaBits.bit

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

import Base

61# bit i alone
62def AaBits.bit(i: Nat) -> List<&2, Bool>:
63  match i:
64    case 0n:
65      [True{}]
66    case 1n+j:
67      Con{False{}, AaBits.bit(j)}