---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "pkgs",
    default: None,
   },
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
   FunctionArgument {
    identifier: "config",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (3, 6),
  },
  target: LetIn {
   bindings: [
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "cfg",
        position: (6, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (6, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "hardware",
         position: (6, 16),
        },
       ],
      },
      default: None,
     },
    ),
   ],
   target: Map {
    bindings: [
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "imports",
         position: (9, 3),
        },
       ],
      },
      List {
       elements: [
        FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (10, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "networking",
               position: (10, 31),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRT73Firmware",
               position: (10, 44),
              },
             ],
            },
           ],
           position: (10, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "hardware",
               position: (10, 69),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRedistributableFirmware",
               position: (10, 80),
              },
             ],
            },
           ],
           position: (10, 66),
          },
         ],
        },
        FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (11, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "networking",
               position: (11, 31),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableIntel3945ABGFirmware",
               position: (11, 44),
              },
             ],
            },
           ],
           position: (11, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "hardware",
               position: (11, 77),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRedistributableFirmware",
               position: (11, 88),
              },
             ],
            },
           ],
           position: (11, 74),
          },
         ],
        },
        FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (12, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "networking",
               position: (12, 31),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableIntel2100BGFirmware",
               position: (12, 44),
              },
             ],
            },
           ],
           position: (12, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "hardware",
               position: (12, 76),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRedistributableFirmware",
               position: (12, 87),
              },
             ],
            },
           ],
           position: (12, 73),
          },
         ],
        },
        FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (13, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "networking",
               position: (13, 31),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRalinkFirmware",
               position: (13, 44),
              },
             ],
            },
           ],
           position: (13, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "hardware",
               position: (13, 71),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRedistributableFirmware",
               position: (13, 82),
              },
             ],
            },
           ],
           position: (13, 68),
          },
         ],
        },
        FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (14, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "networking",
               position: (14, 31),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRTL8192cFirmware",
               position: (14, 44),
              },
             ],
            },
           ],
           position: (14, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "hardware",
               position: (14, 73),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "enableRedistributableFirmware",
               position: (14, 84),
              },
             ],
            },
           ],
           position: (14, 70),
          },
         ],
        },
       ],
       position: (9, 13),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "options",
         position: (19, 3),
        },
       ],
      },
      Map {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "hardware",
            position: (21, 5),
           },
           Raw {
            content: "enableAllFirmware",
            position: (21, 14),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (21, 34),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (22, 7),
                },
               ],
              },
              Variable {
               identifier: "false",
               position: (22, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (23, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (23, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "bool",
                  position: (23, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (24, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Turn on this option if you want to enable all the firmware.\n",
                 position: (25, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (21, 43),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "hardware",
            position: (29, 5),
           },
           Raw {
            content: "enableRedistributableFirmware",
            position: (29, 14),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (29, 46),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (30, 7),
                },
               ],
              },
              Variable {
               identifier: "false",
               position: (30, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (31, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (31, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "bool",
                  position: (31, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (32, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Turn on this option if you want to enable all the firmware with a license allowing redistribution.\n",
                 position: (33, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (29, 55),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "hardware",
            position: (37, 5),
           },
           Raw {
            content: "wirelessRegulatoryDatabase",
            position: (37, 14),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (37, 43),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (38, 7),
                },
               ],
              },
              Variable {
               identifier: "false",
               position: (38, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (39, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (39, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "bool",
                  position: (39, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (40, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Load the wireless regulatory database at boot.\n",
                 position: (41, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (37, 52),
           },
          ],
         },
        ),
       ],
       recursive: false,
       position: (19, 13),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "config",
         position: (50, 3),
        },
       ],
      },
      FunctionApplication {
       function: Variable {
        identifier: "mkMerge",
        position: (50, 12),
       },
       arguments: [
        List {
         elements: [
          FunctionApplication {
           function: Variable {
            identifier: "mkIf",
            position: (51, 6),
           },
           arguments: [
            BinaryOperation {
             operator: LogicalOr,
             operands: [
              PropertyAccess {
               expression: Variable {
                identifier: "cfg",
                position: (51, 12),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "enableAllFirmware",
                  position: (51, 16),
                 },
                ],
               },
               default: None,
              },
              PropertyAccess {
               expression: Variable {
                identifier: "cfg",
                position: (51, 37),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "enableRedistributableFirmware",
                  position: (51, 41),
                 },
                ],
               },
               default: None,
              },
             ],
             position: (51, 34),
            },
            Map {
             bindings: [
              KeyValue(
               AttributePath {
                attributes: [
                 Raw {
                  content: "hardware",
                  position: (52, 7),
                 },
                 Raw {
                  content: "firmware",
                  position: (52, 16),
                 },
                ],
               },
               With {
                expression: Variable {
                 identifier: "pkgs",
                 position: (52, 32),
                },
                target: BinaryOperation {
                 operator: Concatenation,
                 operands: [
                  List {
                   elements: [
                    Variable {
                     identifier: "linux-firmware",
                     position: (53, 9),
                    },
                    Variable {
                     identifier: "intel2200BGFirmware",
                     position: (54, 9),
                    },
                    Variable {
                     identifier: "rtl8192su-firmware",
                     position: (55, 9),
                    },
                    Variable {
                     identifier: "rt5677-firmware",
                     position: (56, 9),
                    },
                    Variable {
                     identifier: "rtl8723bs-firmware",
                     position: (57, 9),
                    },
                    Variable {
                     identifier: "rtl8761b-firmware",
                     position: (58, 9),
                    },
                    Variable {
                     identifier: "rtw88-firmware",
                     position: (59, 9),
                    },
                    Variable {
                     identifier: "zd1211fw",
                     position: (60, 9),
                    },
                    Variable {
                     identifier: "alsa-firmware",
                     position: (61, 9),
                    },
                    Variable {
                     identifier: "sof-firmware",
                     position: (62, 9),
                    },
                    Variable {
                     identifier: "libreelec-dvb-firmware",
                     position: (63, 9),
                    },
                   ],
                   position: (52, 38),
                  },
                  BinaryOperation {
                   operator: Concatenation,
                   operands: [
                    FunctionApplication {
                     function: Variable {
                      identifier: "optional",
                      position: (64, 12),
                     },
                     arguments: [
                      BinaryOperation {
                       operator: LogicalOr,
                       operands: [
                        PropertyAccess {
                         expression: Variable {
                          identifier: "pkgs",
                          position: (64, 22),
                         },
                         attribute_path: AttributePath {
                          attributes: [
                           Raw {
                            content: "stdenv",
                            position: (64, 27),
                           },
                           Raw {
                            content: "hostPlatform",
                            position: (64, 34),
                           },
                           Raw {
                            content: "isAarch32",
                            position: (64, 47),
                           },
                          ],
                         },
                         default: None,
                        },
                        PropertyAccess {
                         expression: Variable {
                          identifier: "pkgs",
                          position: (64, 60),
                         },
                         attribute_path: AttributePath {
                          attributes: [
                           Raw {
                            content: "stdenv",
                            position: (64, 65),
                           },
                           Raw {
                            content: "hostPlatform",
                            position: (64, 72),
                           },
                           Raw {
                            content: "isAarch64",
                            position: (64, 85),
                           },
                          ],
                         },
                         default: None,
                        },
                       ],
                       position: (64, 57),
                      },
                      Variable {
                       identifier: "raspberrypiWirelessFirmware",
                       position: (64, 96),
                      },
                     ],
                    },
                    BinaryOperation {
                     operator: Concatenation,
                     operands: [
                      FunctionApplication {
                       function: Variable {
                        identifier: "optionals",
                        position: (65, 12),
                       },
                       arguments: [
                        FunctionApplication {
                         function: Variable {
                          identifier: "versionOlder",
                          position: (65, 23),
                         },
                         arguments: [
                          PropertyAccess {
                           expression: Variable {
                            identifier: "config",
                            position: (65, 36),
                           },
                           attribute_path: AttributePath {
                            attributes: [
                             Raw {
                              content: "boot",
                              position: (65, 43),
                             },
                             Raw {
                              content: "kernelPackages",
                              position: (65, 48),
                             },
                             Raw {
                              content: "kernel",
                              position: (65, 63),
                             },
                             Raw {
                              content: "version",
                              position: (65, 70),
                             },
                            ],
                           },
                           default: None,
                          },
                          String {
                           parts: [
                            Raw {
                             content: "4.13",
                             position: (65, 79),
                            },
                           ],
                          },
                         ],
                        },
                        List {
                         elements: [
                          Variable {
                           identifier: "rtl8723bs-firmware",
                           position: (66, 9),
                          },
                         ],
                         position: (65, 86),
                        },
                       ],
                      },
                      FunctionApplication {
                       function: Variable {
                        identifier: "optionals",
                        position: (67, 12),
                       },
                       arguments: [
                        FunctionApplication {
                         function: Variable {
                          identifier: "versionOlder",
                          position: (67, 23),
                         },
                         arguments: [
                          PropertyAccess {
                           expression: Variable {
                            identifier: "config",
                            position: (67, 36),
                           },
                           attribute_path: AttributePath {
                            attributes: [
                             Raw {
                              content: "boot",
                              position: (67, 43),
                             },
                             Raw {
                              content: "kernelPackages",
                              position: (67, 48),
                             },
                             Raw {
                              content: "kernel",
                              position: (67, 63),
                             },
                             Raw {
                              content: "version",
                              position: (67, 70),
                             },
                            ],
                           },
                           default: None,
                          },
                          String {
                           parts: [
                            Raw {
                             content: "5.16",
                             position: (67, 79),
                            },
                           ],
                          },
                         ],
                        },
                        List {
                         elements: [
                          Variable {
                           identifier: "rtw89-firmware",
                           position: (68, 9),
                          },
                         ],
                         position: (67, 86),
                        },
                       ],
                      },
                     ],
                     position: (67, 9),
                    },
                   ],
                   position: (65, 9),
                  },
                 ],
                 position: (64, 9),
                },
                position: (52, 27),
               },
              ),
              KeyValue(
               AttributePath {
                attributes: [
                 Raw {
                  content: "hardware",
                  position: (70, 7),
                 },
                 Raw {
                  content: "wirelessRegulatoryDatabase",
                  position: (70, 16),
                 },
                ],
               },
               Variable {
                identifier: "true",
                position: (70, 45),
               },
              ),
             ],
             recursive: false,
             position: (51, 72),
            },
           ],
          },
          FunctionApplication {
           function: Variable {
            identifier: "mkIf",
            position: (72, 6),
           },
           arguments: [
            PropertyAccess {
             expression: Variable {
              identifier: "cfg",
              position: (72, 11),
             },
             attribute_path: AttributePath {
              attributes: [
               Raw {
                content: "enableAllFirmware",
                position: (72, 15),
               },
              ],
             },
             default: None,
            },
            Map {
             bindings: [
              KeyValue(
               AttributePath {
                attributes: [
                 Raw {
                  content: "assertions",
                  position: (73, 7),
                 },
                ],
               },
               List {
                elements: [
                 Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "assertion",
                       position: (74, 9),
                      },
                     ],
                    },
                    BinaryOperation {
                     operator: LogicalOr,
                     operands: [
                      UnaryOperation {
                       operator: Not,
                       operand: PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (74, 22),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "enableAllFirmware",
                           position: (74, 26),
                          },
                         ],
                        },
                        default: None,
                       },
                       position: (74, 21),
                      },
                      PropertyAccess {
                       expression: Variable {
                        identifier: "config",
                        position: (74, 48),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "nixpkgs",
                          position: (74, 55),
                         },
                         Raw {
                          content: "config",
                          position: (74, 63),
                         },
                         Raw {
                          content: "allowUnfree",
                          position: (74, 70),
                         },
                        ],
                       },
                       default: Some(
                        Variable {
                         identifier: "false",
                         position: (74, 85),
                        },
                       ),
                      },
                     ],
                     position: (74, 44),
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "message",
                       position: (75, 9),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "the list of hardware.enableAllFirmware contains non-redistributable licensed firmware files.\n  This requires nixpkgs.config.allowUnfree to be true.\n  An alternative is to use the hardware.enableRedistributableFirmware option.\n",
                       position: (76, 1),
                      },
                     ],
                    },
                   ),
                  ],
                  recursive: false,
                  position: (73, 21),
                 },
                ],
                position: (73, 20),
               },
              ),
              KeyValue(
               AttributePath {
                attributes: [
                 Raw {
                  content: "hardware",
                  position: (81, 7),
                 },
                 Raw {
                  content: "firmware",
                  position: (81, 16),
                 },
                ],
               },
               With {
                expression: Variable {
                 identifier: "pkgs",
                 position: (81, 32),
                },
                target: BinaryOperation {
                 operator: Concatenation,
                 operands: [
                  List {
                   elements: [
                    Variable {
                     identifier: "broadcom-bt-firmware",
                     position: (82, 9),
                    },
                    Variable {
                     identifier: "b43Firmware_5_1_138",
                     position: (83, 9),
                    },
                    Variable {
                     identifier: "b43Firmware_6_30_163_46",
                     position: (84, 9),
                    },
                    Variable {
                     identifier: "b43FirmwareCutter",
                     position: (85, 9),
                    },
                   ],
                   position: (81, 38),
                  },
                  FunctionApplication {
                   function: Variable {
                    identifier: "optional",
                    position: (86, 12),
                   },
                   arguments: [
                    PropertyAccess {
                     expression: Variable {
                      identifier: "pkgs",
                      position: (86, 21),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "stdenv",
                        position: (86, 26),
                       },
                       Raw {
                        content: "hostPlatform",
                        position: (86, 33),
                       },
                       Raw {
                        content: "isx86",
                        position: (86, 46),
                       },
                      ],
                     },
                     default: None,
                    },
                    Variable {
                     identifier: "facetimehd-firmware",
                     position: (86, 52),
                    },
                   ],
                  },
                 ],
                 position: (86, 9),
                },
                position: (81, 27),
               },
              ),
             ],
             recursive: false,
             position: (72, 33),
            },
           ],
          },
          FunctionApplication {
           function: Variable {
            identifier: "mkIf",
            position: (88, 6),
           },
           arguments: [
            PropertyAccess {
             expression: Variable {
              identifier: "cfg",
              position: (88, 11),
             },
             attribute_path: AttributePath {
              attributes: [
               Raw {
                content: "wirelessRegulatoryDatabase",
                position: (88, 15),
               },
              ],
             },
             default: None,
            },
            Map {
             bindings: [
              KeyValue(
               AttributePath {
                attributes: [
                 Raw {
                  content: "hardware",
                  position: (89, 7),
                 },
                 Raw {
                  content: "firmware",
                  position: (89, 16),
                 },
                ],
               },
               List {
                elements: [
                 PropertyAccess {
                  expression: Variable {
                   identifier: "pkgs",
                   position: (89, 29),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "wireless-regdb",
                     position: (89, 34),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
                position: (89, 27),
               },
              ),
             ],
             recursive: false,
             position: (88, 42),
            },
           ],
          },
         ],
         position: (50, 20),
        },
       ],
      },
     ),
    ],
    recursive: false,
    position: (7, 4),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}