anchor.diff:    }
   
     (mkIf cfg.ctrl-agent.enable {
  +    assertions = [{
  +        assertion = xor (cfg.ctrl-agent.settings == null) (cfg.ctrl-agent.configFile == null);
  +        message = "Either services.kea.ctrl-agent.settings or services.kea.ctrl-agent.configFile must be set to a non-null value.";
  +    }];
   
       environment.etc."kea/ctrl-agent.conf".source = ctrlAgentConfig;
   
  
positive.code:   })
  
    (mkIf cfg.dhcp-ddns.enable {
  
      environment.etc."kea/dhcp-ddns.conf".source = dhcpDdnsConfig;
  
  
negative.code:             default = [];
              description = ''
                List of additonal arguments to pass to the daemon.
              '';
            };
  
            configFile = mkOption {
              type = nullOr path;
              default = null;
              description = ''
                Kea DHCP6 configuration as a path, see <link xlink:href="https://kea.readthedocs.io/en/kea-${package.version}/arm/dhcp6-srv.html"/>.
  
                Takes preference over <link linkend="opt-services.kea.dhcp6.settings">settings</link>.
                Most users should prefer using <link linkend="opt-services.kea.dhcp6.settings">settings</link> instead.
              '';
            };
  
  