- Block { ptrs :: (SizedWord D4, SizedWord D4, SizedWord D4)
- , buf1 :: MemState AdderDepthPL DataInt
- , buf2 :: MemState AdderDepthPL DataInt
+ Block { ptrs :: (Unsigned D4, Unsigned D4, Unsigned D4)
+ , buf1 :: MemState (AdderDepthPL :+: D1) DataInt
+ , buf2 :: MemState (AdderDepthPL :+: D1) DataInt