def wsh.it

bend-osdev-word64@0.1.1.0 · PROOF_text.bend:373

import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFText

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

373def wsh.it(n: Nat, +a: W.W64) -> W.W64:
374  match n:
375    case 0n:
376      a
377    case 1n+ +p:
378      wsh.it(p, wsh.q(a))

Uses (3)

Used by (2)