Open
Description
A lot designs fundamentally work on datastructures that are slowly fed into the circuit. For example, a circuit on matrices might receive and send matrices row-by-row. It would be nice if we could define a model that works on the whole structure, while "cutters" and "mergers" would produce the inputs for a circuit based on the whole structure, and vice versa. All while neatly fitting into a test framework.