---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "config",
    default: None,
   },
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
   DestructuredArgument {
    identifier: "pkgs",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (3, 6),
  },
  target: LetIn {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "cfg",
        position: (6, 3),
       },
      ],
     },
     to: PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (6, 9),
      },
      attribute_path: AttributePath {
       parts: [
        Raw {
         content: "hardware",
         position: (6, 16),
        },
       ],
      },
      default: None,
     },
    },
   ],
   target: Map {
    bindings: [
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "imports",
         position: (9, 3),
        },
       ],
      },
      to: List {
       elements: [
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "mkRenamedOptionModule",
           position: (10, 6),
          },
          arguments: [
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "networking",
                position: (10, 31),
               },
              ],
              position: (10, 30),
             },
             String {
              parts: [
               Raw {
                content: "enableRT73Firmware",
                position: (10, 44),
               },
              ],
              position: (10, 43),
             },
            ],
            position: (10, 28),
           },
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "hardware",
                position: (10, 69),
               },
              ],
              position: (10, 68),
             },
             String {
              parts: [
               Raw {
                content: "enableRedistributableFirmware",
                position: (10, 80),
               },
              ],
              position: (10, 79),
             },
            ],
            position: (10, 66),
           },
          ],
         },
         position: (10, 5),
        },
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "mkRenamedOptionModule",
           position: (11, 6),
          },
          arguments: [
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "networking",
                position: (11, 31),
               },
              ],
              position: (11, 30),
             },
             String {
              parts: [
               Raw {
                content: "enableIntel3945ABGFirmware",
                position: (11, 44),
               },
              ],
              position: (11, 43),
             },
            ],
            position: (11, 28),
           },
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "hardware",
                position: (11, 77),
               },
              ],
              position: (11, 76),
             },
             String {
              parts: [
               Raw {
                content: "enableRedistributableFirmware",
                position: (11, 88),
               },
              ],
              position: (11, 87),
             },
            ],
            position: (11, 74),
           },
          ],
         },
         position: (11, 5),
        },
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "mkRenamedOptionModule",
           position: (12, 6),
          },
          arguments: [
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "networking",
                position: (12, 31),
               },
              ],
              position: (12, 30),
             },
             String {
              parts: [
               Raw {
                content: "enableIntel2100BGFirmware",
                position: (12, 44),
               },
              ],
              position: (12, 43),
             },
            ],
            position: (12, 28),
           },
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "hardware",
                position: (12, 76),
               },
              ],
              position: (12, 75),
             },
             String {
              parts: [
               Raw {
                content: "enableRedistributableFirmware",
                position: (12, 87),
               },
              ],
              position: (12, 86),
             },
            ],
            position: (12, 73),
           },
          ],
         },
         position: (12, 5),
        },
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "mkRenamedOptionModule",
           position: (13, 6),
          },
          arguments: [
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "networking",
                position: (13, 31),
               },
              ],
              position: (13, 30),
             },
             String {
              parts: [
               Raw {
                content: "enableRalinkFirmware",
                position: (13, 44),
               },
              ],
              position: (13, 43),
             },
            ],
            position: (13, 28),
           },
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "hardware",
                position: (13, 71),
               },
              ],
              position: (13, 70),
             },
             String {
              parts: [
               Raw {
                content: "enableRedistributableFirmware",
                position: (13, 82),
               },
              ],
              position: (13, 81),
             },
            ],
            position: (13, 68),
           },
          ],
         },
         position: (13, 5),
        },
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "mkRenamedOptionModule",
           position: (14, 6),
          },
          arguments: [
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "networking",
                position: (14, 31),
               },
              ],
              position: (14, 30),
             },
             String {
              parts: [
               Raw {
                content: "enableRTL8192cFirmware",
                position: (14, 44),
               },
              ],
              position: (14, 43),
             },
            ],
            position: (14, 28),
           },
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "hardware",
                position: (14, 73),
               },
              ],
              position: (14, 72),
             },
             String {
              parts: [
               Raw {
                content: "enableRedistributableFirmware",
                position: (14, 84),
               },
              ],
              position: (14, 83),
             },
            ],
            position: (14, 70),
           },
          ],
         },
         position: (14, 5),
        },
       ],
       position: (9, 13),
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "options",
         position: (19, 3),
        },
       ],
      },
      to: Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "hardware",
            position: (21, 5),
           },
           Raw {
            content: "enableAllFirmware",
            position: (21, 14),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (21, 34),
          },
          arguments: [
           Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "default",
                 position: (22, 7),
                },
               ],
              },
              to: Variable {
               identifier: "false",
               position: (22, 17),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "type",
                 position: (23, 7),
                },
               ],
              },
              to: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (23, 14),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "bool",
                  position: (23, 20),
                 },
                ],
               },
               default: None,
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "description",
                 position: (24, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "Turn on this option if you want to enable all the firmware.\n",
                 position: (25, 1),
                },
               ],
               position: (24, 21),
              },
             },
            ],
            recursive: false,
            position: (21, 43),
           },
          ],
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "hardware",
            position: (29, 5),
           },
           Raw {
            content: "enableRedistributableFirmware",
            position: (29, 14),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (29, 46),
          },
          arguments: [
           Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "default",
                 position: (30, 7),
                },
               ],
              },
              to: Variable {
               identifier: "false",
               position: (30, 17),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "type",
                 position: (31, 7),
                },
               ],
              },
              to: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (31, 14),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "bool",
                  position: (31, 20),
                 },
                ],
               },
               default: None,
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "description",
                 position: (32, 7),
                },
               ],
              },
              to: 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),
                },
               ],
               position: (32, 21),
              },
             },
            ],
            recursive: false,
            position: (29, 55),
           },
          ],
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "hardware",
            position: (37, 5),
           },
           Raw {
            content: "wirelessRegulatoryDatabase",
            position: (37, 14),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (37, 43),
          },
          arguments: [
           Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "default",
                 position: (38, 7),
                },
               ],
              },
              to: Variable {
               identifier: "false",
               position: (38, 17),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "type",
                 position: (39, 7),
                },
               ],
              },
              to: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (39, 14),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "bool",
                  position: (39, 20),
                 },
                ],
               },
               default: None,
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "description",
                 position: (40, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "Load the wireless regulatory database at boot.\n",
                 position: (41, 1),
                },
               ],
               position: (40, 21),
              },
             },
            ],
            recursive: false,
            position: (37, 52),
           },
          ],
         },
        },
       ],
       recursive: false,
       position: (19, 13),
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "config",
         position: (50, 3),
        },
       ],
      },
      to: FunctionApplication {
       function: Variable {
        identifier: "mkMerge",
        position: (50, 12),
       },
       arguments: [
        List {
         elements: [
          Parentheses {
           expression: FunctionApplication {
            function: Variable {
             identifier: "mkIf",
             position: (51, 6),
            },
            arguments: [
             Parentheses {
              expression: BinaryOperation {
               operator: LogicalOr,
               operands: [
                PropertyAccess {
                 expression: Variable {
                  identifier: "cfg",
                  position: (51, 12),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "enableAllFirmware",
                    position: (51, 16),
                   },
                  ],
                 },
                 default: None,
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "cfg",
                  position: (51, 37),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "enableRedistributableFirmware",
                    position: (51, 41),
                   },
                  ],
                 },
                 default: None,
                },
               ],
               position: (51, 34),
              },
              position: (51, 11),
             },
             Map {
              bindings: [
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "hardware",
                   position: (52, 7),
                  },
                  Raw {
                   content: "firmware",
                   position: (52, 16),
                  },
                 ],
                },
                to: 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: [
                       Parentheses {
                        expression: BinaryOperation {
                         operator: LogicalOr,
                         operands: [
                          PropertyAccess {
                           expression: Variable {
                            identifier: "pkgs",
                            position: (64, 22),
                           },
                           attribute_path: AttributePath {
                            parts: [
                             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 {
                            parts: [
                             Raw {
                              content: "stdenv",
                              position: (64, 65),
                             },
                             Raw {
                              content: "hostPlatform",
                              position: (64, 72),
                             },
                             Raw {
                              content: "isAarch64",
                              position: (64, 85),
                             },
                            ],
                           },
                           default: None,
                          },
                         ],
                         position: (64, 57),
                        },
                        position: (64, 21),
                       },
                       Variable {
                        identifier: "raspberrypiWirelessFirmware",
                        position: (64, 96),
                       },
                      ],
                     },
                     BinaryOperation {
                      operator: Concatenation,
                      operands: [
                       FunctionApplication {
                        function: Variable {
                         identifier: "optionals",
                         position: (65, 12),
                        },
                        arguments: [
                         Parentheses {
                          expression: FunctionApplication {
                           function: Variable {
                            identifier: "versionOlder",
                            position: (65, 23),
                           },
                           arguments: [
                            PropertyAccess {
                             expression: Variable {
                              identifier: "config",
                              position: (65, 36),
                             },
                             attribute_path: AttributePath {
                              parts: [
                               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),
                              },
                             ],
                             position: (65, 78),
                            },
                           ],
                          },
                          position: (65, 22),
                         },
                         List {
                          elements: [
                           Variable {
                            identifier: "rtl8723bs-firmware",
                            position: (66, 9),
                           },
                          ],
                          position: (65, 86),
                         },
                        ],
                       },
                       FunctionApplication {
                        function: Variable {
                         identifier: "optionals",
                         position: (67, 12),
                        },
                        arguments: [
                         Parentheses {
                          expression: FunctionApplication {
                           function: Variable {
                            identifier: "versionOlder",
                            position: (67, 23),
                           },
                           arguments: [
                            PropertyAccess {
                             expression: Variable {
                              identifier: "config",
                              position: (67, 36),
                             },
                             attribute_path: AttributePath {
                              parts: [
                               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),
                              },
                             ],
                             position: (67, 78),
                            },
                           ],
                          },
                          position: (67, 22),
                         },
                         List {
                          elements: [
                           Variable {
                            identifier: "rtw89-firmware",
                            position: (68, 9),
                           },
                          ],
                          position: (67, 86),
                         },
                        ],
                       },
                      ],
                      position: (67, 9),
                     },
                    ],
                    position: (65, 9),
                   },
                  ],
                  position: (64, 9),
                 },
                 position: (52, 27),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "hardware",
                   position: (70, 7),
                  },
                  Raw {
                   content: "wirelessRegulatoryDatabase",
                   position: (70, 16),
                  },
                 ],
                },
                to: Variable {
                 identifier: "true",
                 position: (70, 45),
                },
               },
              ],
              recursive: false,
              position: (51, 72),
             },
            ],
           },
           position: (51, 5),
          },
          Parentheses {
           expression: FunctionApplication {
            function: Variable {
             identifier: "mkIf",
             position: (72, 6),
            },
            arguments: [
             PropertyAccess {
              expression: Variable {
               identifier: "cfg",
               position: (72, 11),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "enableAllFirmware",
                 position: (72, 15),
                },
               ],
              },
              default: None,
             },
             Map {
              bindings: [
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "assertions",
                   position: (73, 7),
                  },
                 ],
                },
                to: List {
                 elements: [
                  Map {
                   bindings: [
                    Binding {
                     from: AttributePath {
                      parts: [
                       Raw {
                        content: "assertion",
                        position: (74, 9),
                       },
                      ],
                     },
                     to: BinaryOperation {
                      operator: LogicalOr,
                      operands: [
                       UnaryOperation {
                        operator: Not,
                        operand: PropertyAccess {
                         expression: Variable {
                          identifier: "cfg",
                          position: (74, 22),
                         },
                         attribute_path: AttributePath {
                          parts: [
                           Raw {
                            content: "enableAllFirmware",
                            position: (74, 26),
                           },
                          ],
                         },
                         default: None,
                        },
                        position: (74, 21),
                       },
                       Parentheses {
                        expression: PropertyAccess {
                         expression: Variable {
                          identifier: "config",
                          position: (74, 48),
                         },
                         attribute_path: AttributePath {
                          parts: [
                           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, 47),
                       },
                      ],
                      position: (74, 44),
                     },
                    },
                    Binding {
                     from: AttributePath {
                      parts: [
                       Raw {
                        content: "message",
                        position: (75, 9),
                       },
                      ],
                     },
                     to: 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),
                       },
                      ],
                      position: (75, 19),
                     },
                    },
                   ],
                   recursive: false,
                   position: (73, 21),
                  },
                 ],
                 position: (73, 20),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "hardware",
                   position: (81, 7),
                  },
                  Raw {
                   content: "firmware",
                   position: (81, 16),
                  },
                 ],
                },
                to: 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),
                     },
                     Variable {
                      identifier: "xow_dongle-firmware",
                      position: (86, 9),
                     },
                    ],
                    position: (81, 38),
                   },
                   FunctionApplication {
                    function: Variable {
                     identifier: "optional",
                     position: (87, 12),
                    },
                    arguments: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "pkgs",
                       position: (87, 21),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "stdenv",
                         position: (87, 26),
                        },
                        Raw {
                         content: "hostPlatform",
                         position: (87, 33),
                        },
                        Raw {
                         content: "isx86",
                         position: (87, 46),
                        },
                       ],
                      },
                      default: None,
                     },
                     Variable {
                      identifier: "facetimehd-firmware",
                      position: (87, 52),
                     },
                    ],
                   },
                  ],
                  position: (87, 9),
                 },
                 position: (81, 27),
                },
               },
              ],
              recursive: false,
              position: (72, 33),
             },
            ],
           },
           position: (72, 5),
          },
          Parentheses {
           expression: FunctionApplication {
            function: Variable {
             identifier: "mkIf",
             position: (89, 6),
            },
            arguments: [
             PropertyAccess {
              expression: Variable {
               identifier: "cfg",
               position: (89, 11),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "wirelessRegulatoryDatabase",
                 position: (89, 15),
                },
               ],
              },
              default: None,
             },
             Map {
              bindings: [
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "hardware",
                   position: (90, 7),
                  },
                  Raw {
                   content: "firmware",
                   position: (90, 16),
                  },
                 ],
                },
                to: List {
                 elements: [
                  PropertyAccess {
                   expression: Variable {
                    identifier: "pkgs",
                    position: (90, 29),
                   },
                   attribute_path: AttributePath {
                    parts: [
                     Raw {
                      content: "wireless-regdb",
                      position: (90, 34),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                 position: (90, 27),
                },
               },
              ],
              recursive: false,
              position: (89, 42),
             },
            ],
           },
           position: (89, 5),
          },
         ],
         position: (50, 20),
        },
       ],
      },
     },
    ],
    recursive: false,
    position: (7, 4),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}