def shtop

lawful-words@0.1.0.0 · proof_word.bend:584

import Base

584# The bit shifted out of the top by Word.shl.
585def shtop(n: Nat, w: Word(n)) -> Bool:
586  match n:
587    case 0n:
588      False{}
589    case 1n+p:
590      match w:
591        case WCon{b, t}:
592          stop(p, b, t)