Infrastructure and foundation classes. This is a mirror repository - development happens on https://gitlab.dune-project.org/