def W64.dbl

bend-osdev-word64@0.1.1.0 · word64.bend:79

import Base

79# x * 2^n: x doubled n times
80def W64.dbl(n: Nat, x: Nat) -> Nat:
81  match n:
82    case 0n:
83      x
84    case 1n+p:
85      Nat.double(W64.dbl(p, x))