---
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: (2, 6),
  },
  target: Map {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "options",
        position: (4, 3),
       },
       Raw {
        content: "services",
        position: (4, 11),
       },
       Raw {
        content: "sdrplayApi",
        position: (4, 20),
       },
      ],
     },
     to: Map {
      bindings: [
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "enable",
           position: (5, 5),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (5, 14),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (6, 7),
               },
              ],
             },
             to: Variable {
              identifier: "false",
              position: (6, 17),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "example",
                position: (7, 7),
               },
              ],
             },
             to: Variable {
              identifier: "true",
              position: (7, 17),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (8, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "Whether to enable the SDRplay API service and udev rules.\n\n<note><para>\n  To enable integration with SoapySDR and GUI applications like gqrx create an overlay containing\n  <literal>soapysdr-with-plugins = super.soapysdr.override { extraPackages = [ super.soapysdrplay ]; };</literal>\n</para></note>\n",
                position: (9, 1),
               },
              ],
              position: (8, 21),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (16, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "lib",
               position: (16, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "types",
                 position: (16, 18),
                },
                Raw {
                 content: "bool",
                 position: (16, 24),
                },
               ],
              },
              default: None,
             },
            },
           ],
           recursive: false,
           position: (5, 23),
          },
         ],
        },
       },
      ],
      recursive: false,
      position: (4, 33),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "config",
        position: (20, 3),
       },
      ],
     },
     to: FunctionApplication {
      function: Variable {
       identifier: "mkIf",
       position: (20, 12),
      },
      arguments: [
       PropertyAccess {
        expression: Variable {
         identifier: "config",
         position: (20, 17),
        },
        attribute_path: AttributePath {
         parts: [
          Raw {
           content: "services",
           position: (20, 24),
          },
          Raw {
           content: "sdrplayApi",
           position: (20, 33),
          },
          Raw {
           content: "enable",
           position: (20, 44),
          },
         ],
        },
        default: None,
       },
       Map {
        bindings: [
         Binding {
          from: AttributePath {
           parts: [
            Raw {
             content: "systemd",
             position: (21, 5),
            },
            Raw {
             content: "services",
             position: (21, 13),
            },
            Raw {
             content: "sdrplayApi",
             position: (21, 22),
            },
           ],
          },
          to: Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (22, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "SDRplay API Service",
                position: (22, 22),
               },
              ],
              position: (22, 21),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "after",
                position: (23, 7),
               },
              ],
             },
             to: List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "network.target",
                  position: (23, 18),
                 },
                ],
                position: (23, 17),
               },
              ],
              position: (23, 15),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "wantedBy",
                position: (24, 7),
               },
              ],
             },
             to: List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "multi-user.target",
                  position: (24, 21),
                 },
                ],
                position: (24, 20),
               },
              ],
              position: (24, 18),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "serviceConfig",
                position: (25, 7),
               },
              ],
             },
             to: Map {
              bindings: [
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "ExecStart",
                   position: (26, 9),
                  },
                 ],
                },
                to: String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (26, 24),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "sdrplay",
                       position: (26, 29),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/bin/sdrplay_apiService",
                   position: (26, 37),
                  },
                 ],
                 position: (26, 21),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "DynamicUser",
                   position: (27, 9),
                  },
                 ],
                },
                to: Variable {
                 identifier: "true",
                 position: (27, 23),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "Restart",
                   position: (28, 9),
                  },
                 ],
                },
                to: String {
                 parts: [
                  Raw {
                   content: "on-failure",
                   position: (28, 20),
                  },
                 ],
                 position: (28, 19),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "RestartSec",
                   position: (29, 9),
                  },
                 ],
                },
                to: String {
                 parts: [
                  Raw {
                   content: "1s",
                   position: (29, 23),
                  },
                 ],
                 position: (29, 22),
                },
               },
              ],
              recursive: false,
              position: (25, 23),
             },
            },
           ],
           recursive: false,
           position: (21, 35),
          },
         },
         Binding {
          from: AttributePath {
           parts: [
            Raw {
             content: "services",
             position: (32, 5),
            },
            Raw {
             content: "udev",
             position: (32, 14),
            },
            Raw {
             content: "packages",
             position: (32, 19),
            },
           ],
          },
          to: List {
           elements: [
            PropertyAccess {
             expression: Variable {
              identifier: "pkgs",
              position: (32, 32),
             },
             attribute_path: AttributePath {
              parts: [
               Raw {
                content: "sdrplay",
                position: (32, 37),
               },
              ],
             },
             default: None,
            },
           ],
           position: (32, 30),
          },
         },
        ],
        recursive: false,
        position: (20, 51),
       },
      ],
     },
    },
   ],
   recursive: false,
   position: (3, 1),
  },
  position: (2, 1),
 },
 position: (1, 1),
}