type Parts

import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wide

import Base

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

Uses (2)