anchor.diff:        version = mkOption {
           default = 1;
           example = 2;
  -        description = ''
  -          The version of GRUB to use: <literal>1</literal> for GRUB Legacy
  -          (versions 0.9x), or <literal>2</literal> for GRUB 2.
  +        type = types.int;
  +        description = ''
  +          The version of GRUB to use: <literal>1</literal> for GRUB
  +          Legacy (versions 0.9x), or <literal>2</literal> for GRUB 2.
           '';
         };
   
         device = mkOption {
           default = "";
           example = "/dev/hda";
  -        type = with pkgs.lib.types; uniq string;
  +        type = types.uniq types.string;
           description = ''
             The device on which the GRUB boot loader will be installed.
             The special value <literal>nodev</literal> means that a GRUB
  
positive.code: 
        extraEntriesBeforeNixOS = mkOption {
          default = false;
          description = ''
            Whether extraEntries are included before the default option.
          '';
  
negative.code:       extraConfig = mkOption {
          default = "";
          example = "serial; terminal_output.serial";
          type = types.lines;
          description = ''
            Additional GRUB commands inserted in the configuration file
            just before the menu entries.
  