type InputRows

stelliferous@0.0.2.0 · kernel_planning.bend:19

import Base

19# The input rows a partition node holds and the capacity of their owner.
20type InputRows is Data:
21  InputRows{first: U32,rows: U32,capacity: Nat}