The NixOS module responsible for generating an infrastructure model is now in DisnixOS, where it should be