anchor.diff:        devices = mkOption {
           default = [];
           example = [ "/dev/hda" ];
  -        type = with pkgs.lib.types; listOf string;
  +        type = types.listOf types.string;
           description = ''
             The devices on which the boot loader, GRUB, will be
             installed. Can be used instead of <literal>device</literal> to
  
positive.code: 
        timeout = mkOption {
          default = 5;
          description = ''
            Timeout (in seconds) until GRUB boots the default menu item.
          '';
  
negative.code: 
        extraPrepareConfig = mkOption {
          default = "";
          type = types.lines;
          description = ''
            Additional bash commands to be run at the script that
            prepares the grub menu entries.
  