def AaFp.bit

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:157

import Base

157# one of the access letters r w a l k m (n: its bit), or a bare x (n = 6)
158def AaFp.bit(f: AaFp, n: Nat) -> AaFp:
159  match f:
160    case AaFp{st, r, w, a, l, k, m, e, b, ok}:
161      match n:
162        case 0n:
163          AaFp{AaFpBase{}, True{}, w, a, l, k, m, e, b, ok}
164        case 1n+n1:
165          match n1:
166            case 0n:
167              AaFp{AaFpBase{}, r, True{}, a, l, k, m, e, b, ok}
168            case 1n+n2:
169              match n2:
170                case 0n:
171                  AaFp{AaFpBase{}, r, w, True{}, l, k, m, e, b, ok}
172                case 1n+n3:
173                  match n3:
174                    case 0n:
175                      AaFp{AaFpBase{}, r, w, a, True{}, k, m, e, b, ok}
176                    case 1n+n4:
177                      match n4:
178                        case 0n:
179                          AaFp{AaFpBase{}, r, w, a, l, True{}, m, e, b, ok}
180                        case 1n+n5:
181                          match n5:
182                            case 0n:
183                              AaFp{AaFpBase{}, r, w, a, l, k, True{}, e, b, ok}
184                            case 1n+n6:
185                              AaFp{AaFpBase{}, r, w, a, l, k, m, e, True{}, ok}