---
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),
        },
        Raw {
         content: "ubertooth",
         position: (6, 25),
        },
       ],
      },
      default: None,
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "ubertoothPkg",
        position: (8, 3),
       },
      ],
     },
     to: FunctionApplication {
      function: PropertyAccess {
       expression: Variable {
        identifier: "pkgs",
        position: (8, 18),
       },
       attribute_path: AttributePath {
        parts: [
         Raw {
          content: "ubertooth",
          position: (8, 23),
         },
         Raw {
          content: "override",
          position: (8, 33),
         },
        ],
       },
       default: None,
      },
      arguments: [
       Map {
        bindings: [
         Binding {
          from: AttributePath {
           parts: [
            Raw {
             content: "udevGroup",
             position: (9, 5),
            },
           ],
          },
          to: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (9, 17),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "group",
              position: (9, 21),
             },
            ],
           },
           default: None,
          },
         },
        ],
        recursive: false,
        position: (8, 42),
       },
      ],
     },
    },
   ],
   target: Map {
    bindings: [
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "options",
         position: (12, 3),
        },
        Raw {
         content: "hardware",
         position: (12, 11),
        },
        Raw {
         content: "ubertooth",
         position: (12, 20),
        },
       ],
      },
      to: Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "enable",
            position: (13, 5),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "mkEnableOption",
           position: (13, 14),
          },
          arguments: [
           String {
            parts: [
             Raw {
              content: "Enable the Ubertooth software and its udev rules.",
              position: (13, 30),
             },
            ],
            position: (13, 29),
           },
          ],
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "group",
            position: (15, 5),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (15, 13),
          },
          arguments: [
           Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "type",
                 position: (16, 7),
                },
               ],
              },
              to: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (16, 14),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "str",
                  position: (16, 20),
                 },
                ],
               },
               default: None,
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "default",
                 position: (17, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "ubertooth",
                 position: (17, 18),
                },
               ],
               position: (17, 17),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "example",
                 position: (18, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "wheel",
                 position: (18, 18),
                },
               ],
               position: (18, 17),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "description",
                 position: (19, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "Group for Ubertooth's udev rules.",
                 position: (19, 22),
                },
               ],
               position: (19, 21),
              },
             },
            ],
            recursive: false,
            position: (15, 22),
           },
          ],
         },
        },
       ],
       recursive: false,
       position: (12, 32),
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "config",
         position: (23, 3),
        },
       ],
      },
      to: FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (23, 12),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (23, 17),
         },
         attribute_path: AttributePath {
          parts: [
           Raw {
            content: "enable",
            position: (23, 21),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (24, 5),
             },
             Raw {
              content: "systemPackages",
              position: (24, 17),
             },
            ],
           },
           to: List {
            elements: [
             Variable {
              identifier: "ubertoothPkg",
              position: (24, 36),
             },
            ],
            position: (24, 34),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "services",
              position: (26, 5),
             },
             Raw {
              content: "udev",
              position: (26, 14),
             },
             Raw {
              content: "packages",
              position: (26, 19),
             },
            ],
           },
           to: List {
            elements: [
             Variable {
              identifier: "ubertoothPkg",
              position: (26, 32),
             },
            ],
            position: (26, 30),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "users",
              position: (27, 5),
             },
             Raw {
              content: "groups",
              position: (27, 11),
             },
             Expression {
              expression: PropertyAccess {
               expression: Variable {
                identifier: "cfg",
                position: (27, 20),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "group",
                  position: (27, 24),
                 },
                ],
               },
               default: None,
              },
             },
            ],
           },
           to: Map {
            bindings: [],
            recursive: false,
            position: (27, 33),
           },
          },
         ],
         recursive: false,
         position: (23, 28),
        },
       ],
      },
     },
    ],
    recursive: false,
    position: (11, 4),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}