-
Ralf Jung authored
make the global functor stuff in the various constructions more uniform; change it such that barrier/proof does not have to repeat the functors it needs
3f61f05d
make the global functor stuff in the various constructions more uniform; change it such that barrier/proof does not have to repeat the functors it needs