---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "config",
    default: None,
   },
   DestructuredArgument {
    identifier: "pkgs",
    default: None,
   },
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (2, 6),
  },
  target: Map {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "options",
        position: (4, 3),
       },
       Raw {
        content: "programs",
        position: (4, 11),
       },
       Raw {
        content: "kdeconnect",
        position: (4, 20),
       },
      ],
     },
     to: Map {
      bindings: [
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "enable",
           position: (5, 5),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkEnableOption",
          position: (5, 14),
         },
         arguments: [
          String {
           parts: [
            Raw {
             content: "kdeconnect.\n\nNote that it will open the TCP and UDP port from\n1714 to 1764 as they are needed for it to function properly.\nYou can use the <option>package</option> to use\n<code>gnomeExtensions.gsconnect</code> as an alternative\nimplementation if you use Gnome.\n",
             position: (6, 1),
            },
           ],
           position: (5, 29),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "package",
           position: (14, 5),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (14, 15),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (15, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "pkgs",
               position: (15, 17),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "kdeconnect",
                 position: (15, 22),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "defaultText",
                position: (16, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "literalExpression",
               position: (16, 21),
              },
              arguments: [
               String {
                parts: [
                 Raw {
                  content: "pkgs.kdeconnect",
                  position: (16, 40),
                 },
                ],
                position: (16, 39),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (17, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "types",
               position: (17, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "package",
                 position: (17, 20),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "example",
                position: (18, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "literalExpression",
               position: (18, 17),
              },
              arguments: [
               String {
                parts: [
                 Raw {
                  content: "pkgs.gnomeExtensions.gsconnect",
                  position: (18, 36),
                 },
                ],
                position: (18, 35),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (19, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "The package providing the implementation for kdeconnect.\n",
                position: (20, 1),
               },
              ],
              position: (19, 21),
             },
            },
           ],
           recursive: false,
           position: (14, 24),
          },
         ],
        },
       },
      ],
      recursive: false,
      position: (4, 33),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "config",
        position: (24, 3),
       },
      ],
     },
     to: LetIn {
      bindings: [
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "cfg",
           position: (26, 7),
          },
         ],
        },
        to: PropertyAccess {
         expression: Variable {
          identifier: "config",
          position: (26, 13),
         },
         attribute_path: AttributePath {
          parts: [
           Raw {
            content: "programs",
            position: (26, 20),
           },
           Raw {
            content: "kdeconnect",
            position: (26, 29),
           },
          ],
         },
         default: None,
        },
       },
      ],
      target: FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (28, 7),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (28, 12),
         },
         attribute_path: AttributePath {
          parts: [
           Raw {
            content: "enable",
            position: (28, 16),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (29, 9),
             },
             Raw {
              content: "systemPackages",
              position: (29, 21),
             },
            ],
           },
           to: List {
            elements: [
             PropertyAccess {
              expression: Variable {
               identifier: "cfg",
               position: (29, 40),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "package",
                 position: (29, 44),
                },
               ],
              },
              default: None,
             },
            ],
            position: (29, 38),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "networking",
              position: (30, 9),
             },
             Raw {
              content: "firewall",
              position: (30, 20),
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "allowedTCPPortRanges",
                 position: (31, 11),
                },
               ],
              },
              to: List {
               elements: [
                Map {
                 bindings: [
                  Binding {
                   from: AttributePath {
                    parts: [
                     Raw {
                      content: "from",
                      position: (31, 38),
                     },
                    ],
                   },
                   to: Int {
                    value: 1714,
                    position: (31, 45),
                   },
                  },
                  Binding {
                   from: AttributePath {
                    parts: [
                     Raw {
                      content: "to",
                      position: (31, 51),
                     },
                    ],
                   },
                   to: Int {
                    value: 1764,
                    position: (31, 56),
                   },
                  },
                 ],
                 recursive: false,
                 position: (31, 36),
                },
               ],
               position: (31, 34),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "allowedUDPPortRanges",
                 position: (32, 11),
                },
               ],
              },
              to: Variable {
               identifier: "allowedTCPPortRanges",
               position: (32, 34),
              },
             },
            ],
            recursive: true,
            position: (30, 31),
           },
          },
         ],
         recursive: false,
         position: (28, 23),
        },
       ],
      },
      position: (25, 5),
     },
    },
   ],
   recursive: false,
   position: (3, 1),
  },
  position: (2, 1),
 },
 position: (1, 1),
}