---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "utils",
    default: None,
   },
   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: (7, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (7, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "services",
         position: (7, 16),
        },
        Raw {
         content: "freefall",
         position: (7, 25),
        },
       ],
      },
      default: None,
     },
    ),
   ],
   target: Map {
    bindings: [
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "options",
         position: (11, 3),
        },
        Raw {
         content: "services",
         position: (11, 11),
        },
        Raw {
         content: "freefall",
         position: (11, 20),
        },
       ],
      },
      Map {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "enable",
            position: (13, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (13, 14),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (14, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (14, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "bool",
                  position: (14, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (15, 7),
                },
               ],
              },
              Variable {
               identifier: "false",
               position: (15, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (16, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Whether to protect HP/Dell laptop hard drives (not SSDs) in free fall.\n",
                 position: (17, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (13, 23),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "package",
            position: (21, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (21, 15),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (22, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (22, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "package",
                  position: (22, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (23, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "pkgs",
                position: (23, 17),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "freefall",
                  position: (23, 22),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "defaultText",
                 position: (24, 7),
                },
               ],
              },
              FunctionApplication {
               function: Variable {
                identifier: "literalExpression",
                position: (24, 21),
               },
               arguments: [
                String {
                 parts: [
                  Raw {
                   content: "pkgs.freefall",
                   position: (24, 40),
                  },
                 ],
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (25, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "freefall derivation to use.\n",
                 position: (26, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (21, 24),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "devices",
            position: (30, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (30, 15),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (31, 7),
                },
               ],
              },
              FunctionApplication {
               function: PropertyAccess {
                expression: Variable {
                 identifier: "types",
                 position: (31, 14),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "listOf",
                   position: (31, 20),
                  },
                 ],
                },
                default: None,
               },
               arguments: [
                PropertyAccess {
                 expression: Variable {
                  identifier: "types",
                  position: (31, 27),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "str",
                    position: (31, 33),
                   },
                  ],
                 },
                 default: None,
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (32, 7),
                },
               ],
              },
              List {
               elements: [
                String {
                 parts: [
                  Raw {
                   content: "/dev/sda",
                   position: (32, 20),
                  },
                 ],
                },
               ],
               position: (32, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (33, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Device paths to all internal spinning hard drives.\n",
                 position: (34, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (30, 24),
           },
          ],
         },
        ),
       ],
       recursive: false,
       position: (11, 31),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "config",
         position: (40, 3),
        },
       ],
      },
      LetIn {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "mkService",
            position: (42, 5),
           },
          ],
         },
         Function {
          argument: Some(
           "dev",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: Assert {
           expression: BinaryOperation {
            operator: NotEqualTo,
            operands: [
             Variable {
              identifier: "dev",
              position: (43, 14),
             },
             String {
              parts: [],
             },
            ],
            position: (43, 18),
           },
           target: LetIn {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "dev'",
                 position: (44, 11),
                },
               ],
              },
              FunctionApplication {
               function: PropertyAccess {
                expression: Variable {
                 identifier: "utils",
                 position: (44, 18),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "escapeSystemdPath",
                   position: (44, 24),
                  },
                 ],
                },
                default: None,
               },
               arguments: [
                Variable {
                 identifier: "dev",
                 position: (44, 42),
                },
               ],
              },
             ),
            ],
            target: FunctionApplication {
             function: Variable {
              identifier: "nameValuePair",
              position: (45, 7),
             },
             arguments: [
              String {
               parts: [
                Raw {
                 content: "freefall-",
                 position: (45, 22),
                },
                Expression {
                 expression: Variable {
                  identifier: "dev'",
                  position: (45, 33),
                 },
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (46, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Free-fall protection for ",
                    position: (46, 24),
                   },
                   Expression {
                    expression: Variable {
                     identifier: "dev",
                     position: (46, 51),
                    },
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "after",
                    position: (47, 9),
                   },
                  ],
                 },
                 List {
                  elements: [
                   String {
                    parts: [
                     Expression {
                      expression: Variable {
                       identifier: "dev'",
                       position: (47, 22),
                      },
                     },
                     Raw {
                      content: ".device",
                      position: (47, 27),
                     },
                    ],
                   },
                  ],
                  position: (47, 17),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "wantedBy",
                    position: (48, 9),
                   },
                  ],
                 },
                 List {
                  elements: [
                   String {
                    parts: [
                     Expression {
                      expression: Variable {
                       identifier: "dev'",
                       position: (48, 25),
                      },
                     },
                     Raw {
                      content: ".device",
                      position: (48, 30),
                     },
                    ],
                   },
                  ],
                  position: (48, 20),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "serviceConfig",
                    position: (49, 9),
                   },
                  ],
                 },
                 Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "ExecStart",
                       position: (50, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Expression {
                       expression: PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (50, 26),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "package",
                           position: (50, 30),
                          },
                         ],
                        },
                        default: None,
                       },
                      },
                      Raw {
                       content: "/bin/freefall ",
                       position: (50, 38),
                      },
                      Expression {
                       expression: Variable {
                        identifier: "dev",
                        position: (50, 54),
                       },
                      },
                     ],
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "Restart",
                       position: (51, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "on-failure",
                       position: (51, 22),
                      },
                     ],
                    },
                   ),
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "Type",
                       position: (52, 11),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: "forking",
                       position: (52, 19),
                      },
                     ],
                    },
                   ),
                  ],
                  recursive: false,
                  position: (49, 25),
                 },
                ),
               ],
               recursive: false,
               position: (45, 40),
              },
             ],
            },
            position: (44, 7),
           },
           position: (43, 7),
          },
          position: (42, 17),
         },
        ),
       ],
       target: FunctionApplication {
        function: Variable {
         identifier: "mkIf",
         position: (56, 6),
        },
        arguments: [
         PropertyAccess {
          expression: Variable {
           identifier: "cfg",
           position: (56, 11),
          },
          attribute_path: AttributePath {
           attributes: [
            Raw {
             content: "enable",
             position: (56, 15),
            },
           ],
          },
          default: None,
         },
         Map {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "environment",
               position: (58, 5),
              },
              Raw {
               content: "systemPackages",
               position: (58, 17),
              },
             ],
            },
            List {
             elements: [
              PropertyAccess {
               expression: Variable {
                identifier: "cfg",
                position: (58, 36),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "package",
                  position: (58, 40),
                 },
                ],
               },
               default: None,
              },
             ],
             position: (58, 34),
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "systemd",
               position: (60, 5),
              },
              Raw {
               content: "services",
               position: (60, 13),
              },
             ],
            },
            FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "builtins",
               position: (60, 24),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "listToAttrs",
                 position: (60, 33),
                },
               ],
              },
              default: None,
             },
             arguments: [
              FunctionApplication {
               function: Variable {
                identifier: "map",
                position: (60, 46),
               },
               arguments: [
                Variable {
                 identifier: "mkService",
                 position: (60, 50),
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "cfg",
                  position: (60, 60),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "devices",
                    position: (60, 64),
                   },
                  ],
                 },
                 default: None,
                },
               ],
              },
             ],
            },
           ),
          ],
          recursive: false,
          position: (56, 22),
         },
        ],
       },
       position: (40, 12),
      },
     ),
    ],
    recursive: false,
    position: (9, 4),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}