def join
import stelliferous@0.0.2.0/proofs/word_encoding.bend as WordEncodingimport Base
150def join(+n: Nat, +m: Nat, parts: Split<n,m>) -> Word(Nat.add(n,m)):
151 Parts{low,high} = parts
152 concat(n,m,low,high)
import stelliferous@0.0.2.0/proofs/word_encoding.bend as WordEncodingimport Base
150def join(+n: Nat, +m: Nat, parts: Split<n,m>) -> Word(Nat.add(n,m)):
151 Parts{low,high} = parts
152 concat(n,m,low,high)