let lib = import ; addressing = import ../lib/addressing { inherit lib; }; spec = { locations = { cloud = { domain = "kasear.net"; networks.cloud.subnets.dmz.hosts.eris.role = "router"; }; norfolk = { domain = "kasear.net"; networks.norfolk.subnets = { main.hosts.loki.role = "adminWorkstation"; iot = { dhcpRange = { startIp = "10.1.125.10"; endIp = "10.1.127.200"; }; hosts.thermostat.role = "homeAutomation"; }; lab = { dhcp = false; hosts.testbox.role = "labDevice"; }; }; }; }; }; in addressing.mkNetworkFromSpec spec