---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   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: (6, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (6, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "services",
         position: (6, 16),
        },
        Raw {
         content: "davfs2",
         position: (6, 25),
        },
       ],
      },
      default: None,
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "cfgFile",
        position: (7, 3),
       },
      ],
     },
     FunctionApplication {
      function: PropertyAccess {
       expression: Variable {
        identifier: "pkgs",
        position: (7, 13),
       },
       attribute_path: AttributePath {
        attributes: [
         Raw {
          content: "writeText",
          position: (7, 18),
         },
        ],
       },
       default: None,
      },
      arguments: [
       String {
        parts: [
         Raw {
          content: "davfs2.conf",
          position: (7, 29),
         },
        ],
       },
       String {
        parts: [
         Raw {
          content: "dav_user ",
          position: (8, 1),
         },
         Expression {
          expression: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (8, 16),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "davUser",
              position: (8, 20),
             },
            ],
           },
           default: None,
          },
         },
         Raw {
          content: "\ndav_group ",
          position: (8, 28),
         },
         Expression {
          expression: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (9, 17),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "davGroup",
              position: (9, 21),
             },
            ],
           },
           default: None,
          },
         },
         Raw {
          content: "\n",
          position: (9, 30),
         },
         Expression {
          expression: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (10, 7),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "extraConfig",
              position: (10, 11),
             },
            ],
           },
           default: None,
          },
         },
         Raw {
          content: "\n",
          position: (10, 23),
         },
        ],
       },
      ],
     },
    ),
   ],
   target: Map {
    bindings: [
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "options",
         position: (14, 3),
        },
        Raw {
         content: "services",
         position: (14, 11),
        },
        Raw {
         content: "davfs2",
         position: (14, 20),
        },
       ],
      },
      Map {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "enable",
            position: (15, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (15, 14),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (16, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (16, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "bool",
                  position: (16, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (17, 7),
                },
               ],
              },
              Variable {
               identifier: "false",
               position: (17, 17),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (18, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Whether to enable davfs2.\n",
                 position: (19, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (15, 23),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "davUser",
            position: (23, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (23, 15),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (24, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (24, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "str",
                  position: (24, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (25, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "davfs2",
                 position: (25, 18),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (26, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "When invoked by root the mount.davfs daemon will run as this user.\nValue must be given as name, not as numerical id.\n",
                 position: (27, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (23, 24),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "davGroup",
            position: (32, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (32, 16),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (33, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (33, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "str",
                  position: (33, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (34, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "davfs2",
                 position: (34, 18),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (35, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "The group of the running mount.davfs daemon. Ordinary users must be\nmember of this group in order to mount a davfs2 file system. Value must\nbe given as name, not as numerical id.\n",
                 position: (36, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (32, 25),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "extraConfig",
            position: (42, 5),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (42, 19),
          },
          arguments: [
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "type",
                 position: (43, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (43, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "lines",
                  position: (43, 20),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "default",
                 position: (44, 7),
                },
               ],
              },
              String {
               parts: [],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "example",
                 position: (45, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "kernel_fs coda\nproxy foo.bar:8080\nuse_locks 0\n",
                 position: (46, 1),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "description",
                 position: (50, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "Extra lines appended to the configuration of davfs2.\n",
                 position: (51, 1),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (42, 28),
           },
          ],
         },
        ),
       ],
       recursive: false,
       position: (14, 29),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "config",
         position: (56, 3),
        },
       ],
      },
      FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (56, 12),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (56, 17),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "enable",
            position: (56, 21),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "environment",
              position: (57, 5),
             },
             Raw {
              content: "systemPackages",
              position: (57, 17),
             },
            ],
           },
           List {
            elements: [
             PropertyAccess {
              expression: Variable {
               identifier: "pkgs",
               position: (57, 36),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "davfs2",
                 position: (57, 41),
                },
               ],
              },
              default: None,
             },
            ],
            position: (57, 34),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "environment",
              position: (58, 5),
             },
             Raw {
              content: "etc",
              position: (58, 17),
             },
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "davfs2/davfs2.conf",
                 position: (58, 22),
                },
               ],
              },
             },
             Raw {
              content: "source",
              position: (58, 42),
             },
            ],
           },
           Variable {
            identifier: "cfgFile",
            position: (58, 51),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "users",
              position: (60, 5),
             },
             Raw {
              content: "groups",
              position: (60, 11),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "optionalAttrs",
             position: (60, 20),
            },
            arguments: [
             BinaryOperation {
              operator: EqualTo,
              operands: [
               PropertyAccess {
                expression: Variable {
                 identifier: "cfg",
                 position: (60, 35),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "davGroup",
                   position: (60, 39),
                  },
                 ],
                },
                default: None,
               },
               String {
                parts: [
                 Raw {
                  content: "davfs2",
                  position: (60, 52),
                 },
                ],
               },
              ],
              position: (60, 48),
             },
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "davfs2",
                   position: (61, 7),
                  },
                  Raw {
                   content: "gid",
                   position: (61, 14),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "config",
                  position: (61, 20),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "ids",
                    position: (61, 27),
                   },
                   Raw {
                    content: "gids",
                    position: (61, 31),
                   },
                   Raw {
                    content: "davfs2",
                    position: (61, 36),
                   },
                  ],
                 },
                 default: None,
                },
               ),
              ],
              recursive: false,
              position: (60, 61),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "users",
              position: (64, 5),
             },
             Raw {
              content: "users",
              position: (64, 11),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "optionalAttrs",
             position: (64, 19),
            },
            arguments: [
             BinaryOperation {
              operator: EqualTo,
              operands: [
               PropertyAccess {
                expression: Variable {
                 identifier: "cfg",
                 position: (64, 34),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "davUser",
                   position: (64, 38),
                  },
                 ],
                },
                default: None,
               },
               String {
                parts: [
                 Raw {
                  content: "davfs2",
                  position: (64, 50),
                 },
                ],
               },
              ],
              position: (64, 46),
             },
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "davfs2",
                   position: (65, 7),
                  },
                 ],
                },
                Map {
                 bindings: [
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "createHome",
                      position: (66, 9),
                     },
                    ],
                   },
                   Variable {
                    identifier: "false",
                    position: (66, 22),
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "group",
                      position: (67, 9),
                     },
                    ],
                   },
                   PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (67, 17),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "davGroup",
                       position: (67, 21),
                      },
                     ],
                    },
                    default: None,
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "uid",
                      position: (68, 9),
                     },
                    ],
                   },
                   PropertyAccess {
                    expression: Variable {
                     identifier: "config",
                     position: (68, 15),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "ids",
                       position: (68, 22),
                      },
                      Raw {
                       content: "uids",
                       position: (68, 26),
                      },
                      Raw {
                       content: "davfs2",
                       position: (68, 31),
                      },
                     ],
                    },
                    default: None,
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "description",
                      position: (69, 9),
                     },
                    ],
                   },
                   String {
                    parts: [
                     Raw {
                      content: "davfs2 user",
                      position: (69, 24),
                     },
                    ],
                   },
                  ),
                 ],
                 recursive: false,
                 position: (65, 16),
                },
               ),
              ],
              recursive: false,
              position: (64, 59),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "security",
              position: (73, 5),
             },
             Raw {
              content: "wrappers",
              position: (73, 14),
             },
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "mount.davfs",
                 position: (73, 24),
                },
               ],
              },
             },
            ],
           },
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "program",
                 position: (74, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "mount.davfs",
                 position: (74, 18),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "source",
                 position: (75, 7),
                },
               ],
              },
              String {
               parts: [
                Expression {
                 expression: PropertyAccess {
                  expression: Variable {
                   identifier: "pkgs",
                   position: (75, 19),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "davfs2",
                     position: (75, 24),
                    },
                   ],
                  },
                  default: None,
                 },
                },
                Raw {
                 content: "/bin/mount.davfs",
                 position: (75, 31),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "owner",
                 position: (76, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "root",
                 position: (76, 16),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "group",
                 position: (77, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "cfg",
                position: (77, 15),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "davGroup",
                  position: (77, 19),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "setuid",
                 position: (78, 7),
                },
               ],
              },
              Variable {
               identifier: "true",
               position: (78, 16),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "permissions",
                 position: (79, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "u+rx,g+x",
                 position: (79, 22),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (73, 39),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "security",
              position: (82, 5),
             },
             Raw {
              content: "wrappers",
              position: (82, 14),
             },
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "umount.davfs",
                 position: (82, 24),
                },
               ],
              },
             },
            ],
           },
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "program",
                 position: (83, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "umount.davfs",
                 position: (83, 18),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "source",
                 position: (84, 7),
                },
               ],
              },
              String {
               parts: [
                Expression {
                 expression: PropertyAccess {
                  expression: Variable {
                   identifier: "pkgs",
                   position: (84, 19),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "davfs2",
                     position: (84, 24),
                    },
                   ],
                  },
                  default: None,
                 },
                },
                Raw {
                 content: "/bin/umount.davfs",
                 position: (84, 31),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "owner",
                 position: (85, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "root",
                 position: (85, 16),
                },
               ],
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "group",
                 position: (86, 7),
                },
               ],
              },
              PropertyAccess {
               expression: Variable {
                identifier: "cfg",
                position: (86, 15),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "davGroup",
                  position: (86, 19),
                 },
                ],
               },
               default: None,
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "setuid",
                 position: (87, 7),
                },
               ],
              },
              Variable {
               identifier: "true",
               position: (87, 16),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "permissions",
                 position: (88, 7),
                },
               ],
              },
              String {
               parts: [
                Raw {
                 content: "u+rx,g+x",
                 position: (88, 22),
                },
               ],
              },
             ),
            ],
            recursive: false,
            position: (82, 40),
           },
          ),
         ],
         recursive: false,
         position: (56, 28),
        },
       ],
      },
     ),
    ],
    recursive: false,
    position: (13, 1),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}