Proposal: make a small wrapper struct for the waiting list and let the set type be a parameter. This has the benefit of making the waiting list (and Rsets!) concretely typed too.
We can assume, as an initial simplification, that the same set type is used on the flowpipe (moreover, inhomogeneous options in the continuous modes are not supported yet).
Proposal: make a small wrapper struct for the waiting list and let the set type be a parameter. This has the benefit of making the waiting list (and
Rsets!) concretely typed too.We can assume, as an initial simplification, that the same set type is used on the flowpipe (moreover, inhomogeneous options in the continuous modes are not supported yet).