def shift

stelliferous@0.0.2.0 · proofs/word_encoding.bend:15

import Base

15def shift(n: Nat, x: Nat) -> Nat:
16  match n:
17    case 0n:
18      x
19    case 1n+p:
20      Nat.double(shift(p,x))