anchor.diff:        description = ''
           Each attribute in this set specifies an option in the
           <literal>[DHCPv6]</literal> section of the unit.  See
  +        <citerefentry><refentrytitle>systemd.network</refentrytitle>
  +        <manvolnum>5</manvolnum></citerefentry> for details.
  +      '';
  +    };
  +
  +    ipv6PrefixDelegationConfig = mkOption {
  +      default = {};
  +      example = { EmitDNS = true; Managed = true; OtherInformation = true; };
  +      type = types.addCheck (types.attrsOf unitOption) checkIpv6PrefixDelegation;
  +      description = ''
  +        Each attribute in this set specifies an option in the
  +        <literal>[IPv6PrefixDelegation]</literal> section of the unit.  See
           <citerefentry><refentrytitle>systemd.network</refentrytitle>
           <manvolnum>5</manvolnum></citerefentry> for details.
         '';
  
positive.code:     (assertValueOneOf "ForceDHCPv6PDOtherInformation" boolValues)
    ];
  
    checkDhcpServer = checkUnitConfig "DHCPServer" [
      (assertOnlyFields [
        "PoolOffset" "PoolSize" "DefaultLeaseTimeSec" "MaxLeaseTimeSec"
  
negative.code:             ${attrsToSection def.dhcpV6Config}
  
            ''}
            ${optionalString (def.ipv6PrefixDelegationConfig != {}) ''
              [IPv6PrefixDelegation]
              ${attrsToSection def.ipv6PrefixDelegationConfig}
  
            ''}
            ${optionalString (def.dhcpServerConfig != { }) ''
              [DHCPServer]
              ${attrsToSection def.dhcpServerConfig}
  