def un.topc

bend-osdev-u32@0.1.0.0 · PROOF.bend:1323

import Base

1323def un.topc(n: Nat, c: Bool, w: Word(n)) -> Bool:
1324  match n:
1325    case 0n:
1326      c
1327    case 1n+ +p:
1328      match w:
1329        case WCon{b, t}:
1330          un.topc(p, b, t)