def stop

lawful-words@0.1.0.0 · proof_word.bend:536

import Base

536# The bit shifted out of the top by Word.shl.put.
537def stop(n: Nat, c: Bool, w: Word(n)) -> Bool:
538  match n:
539    case 0n:
540      c
541    case 1n+p:
542      match w:
543        case WCon{b, t}:
544          stop(p, b, t)