def shifted

import bendvy-ecs-core@0.1.0.4/restore_raw_number.bend as RestoreRawNumber

import Base

7def shifted(count:Nat,value:U32) -> U32:
8  match count:
9    case 0n: value
10    case 1n+rest: shifted(rest,U32.mul(value,2))

Uses (3)