def extend_metadata_word

stelliferous@0.0.2.0 · machine_limits.bend:14

import Base

14def extend_metadata_word(width: Nat,word: Word(width)) -> Word(Nat.add(width,16n)):
15  match width word:
16    case 0n WNil{}: Word.zero(16n)
17    case 1n+rest WCon{bit,tail}: WCon{bit,extend_metadata_word(rest,tail)}