type Split

stelliferous@0.0.2.0 · proofs/word_encoding.bend:147

import Base

147type Split<-n: Nat,-m: Nat> is Data:
148  Parts{low: Word(n),high: Word(m)}