---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
   FunctionArgument {
    identifier: "pkgs",
    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: "prometheus",
         position: (6, 25),
        },
        Raw {
         content: "pushgateway",
         position: (6, 36),
        },
       ],
      },
      default: None,
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "cmdlineArgs",
        position: (8, 3),
       },
      ],
     },
     BinaryOperation {
      operator: Concatenation,
      operands: [
       FunctionApplication {
        function: Variable {
         identifier: "opt",
         position: (9, 8),
        },
        arguments: [
         String {
          parts: [
           Raw {
            content: "web.listen-address",
            position: (9, 13),
           },
          ],
         },
         PropertyAccess {
          expression: Variable {
           identifier: "cfg",
           position: (9, 33),
          },
          attribute_path: AttributePath {
           attributes: [
            Raw {
             content: "web",
             position: (9, 37),
            },
            Raw {
             content: "listen-address",
             position: (9, 41),
            },
           ],
          },
          default: None,
         },
        ],
       },
       BinaryOperation {
        operator: Concatenation,
        operands: [
         FunctionApplication {
          function: Variable {
           identifier: "opt",
           position: (10, 8),
          },
          arguments: [
           String {
            parts: [
             Raw {
              content: "web.telemetry-path",
              position: (10, 13),
             },
            ],
           },
           PropertyAccess {
            expression: Variable {
             identifier: "cfg",
             position: (10, 33),
            },
            attribute_path: AttributePath {
             attributes: [
              Raw {
               content: "web",
               position: (10, 37),
              },
              Raw {
               content: "telemetry-path",
               position: (10, 41),
              },
             ],
            },
            default: None,
           },
          ],
         },
         BinaryOperation {
          operator: Concatenation,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "opt",
             position: (11, 8),
            },
            arguments: [
             String {
              parts: [
               Raw {
                content: "web.external-url",
                position: (11, 13),
               },
              ],
             },
             PropertyAccess {
              expression: Variable {
               identifier: "cfg",
               position: (11, 31),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "web",
                 position: (11, 35),
                },
                Raw {
                 content: "external-url",
                 position: (11, 39),
                },
               ],
              },
              default: None,
             },
            ],
           },
           BinaryOperation {
            operator: Concatenation,
            operands: [
             FunctionApplication {
              function: Variable {
               identifier: "opt",
               position: (12, 8),
              },
              arguments: [
               String {
                parts: [
                 Raw {
                  content: "web.route-prefix",
                  position: (12, 13),
                 },
                ],
               },
               PropertyAccess {
                expression: Variable {
                 identifier: "cfg",
                 position: (12, 31),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "web",
                   position: (12, 35),
                  },
                  Raw {
                   content: "route-prefix",
                   position: (12, 39),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
             BinaryOperation {
              operator: Concatenation,
              operands: [
               FunctionApplication {
                function: Variable {
                 identifier: "optional",
                 position: (13, 8),
                },
                arguments: [
                 PropertyAccess {
                  expression: Variable {
                   identifier: "cfg",
                   position: (13, 17),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "persistMetrics",
                     position: (13, 21),
                    },
                   ],
                  },
                  default: None,
                 },
                 String {
                  parts: [
                   Raw {
                    content: "--persistence.file=\"/var/lib/",
                    position: (13, 38),
                   },
                   Expression {
                    expression: PropertyAccess {
                     expression: Variable {
                      identifier: "cfg",
                      position: (13, 69),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "stateDir",
                        position: (13, 73),
                       },
                      ],
                     },
                     default: None,
                    },
                   },
                   Raw {
                    content: "/metrics\"",
                    position: (13, 82),
                   },
                  ],
                 },
                ],
               },
               BinaryOperation {
                operator: Concatenation,
                operands: [
                 FunctionApplication {
                  function: Variable {
                   identifier: "opt",
                   position: (14, 8),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "persistence.interval",
                      position: (14, 13),
                     },
                    ],
                   },
                   PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (14, 35),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "persistence",
                       position: (14, 39),
                      },
                      Raw {
                       content: "interval",
                       position: (14, 51),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                 BinaryOperation {
                  operator: Concatenation,
                  operands: [
                   FunctionApplication {
                    function: Variable {
                     identifier: "opt",
                     position: (15, 8),
                    },
                    arguments: [
                     String {
                      parts: [
                       Raw {
                        content: "log.level",
                        position: (15, 13),
                       },
                      ],
                     },
                     PropertyAccess {
                      expression: Variable {
                       identifier: "cfg",
                       position: (15, 24),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "log",
                         position: (15, 28),
                        },
                        Raw {
                         content: "level",
                         position: (15, 32),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                   },
                   BinaryOperation {
                    operator: Concatenation,
                    operands: [
                     FunctionApplication {
                      function: Variable {
                       identifier: "opt",
                       position: (16, 8),
                      },
                      arguments: [
                       String {
                        parts: [
                         Raw {
                          content: "log.format",
                          position: (16, 13),
                         },
                        ],
                       },
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (16, 25),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "log",
                           position: (16, 29),
                          },
                          Raw {
                           content: "format",
                           position: (16, 33),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                     PropertyAccess {
                      expression: Variable {
                       identifier: "cfg",
                       position: (17, 8),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "extraFlags",
                         position: (17, 12),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                    position: (17, 5),
                   },
                  ],
                  position: (16, 5),
                 },
                ],
                position: (15, 5),
               },
              ],
              position: (14, 5),
             },
            ],
            position: (13, 5),
           },
          ],
          position: (12, 5),
         },
        ],
        position: (11, 5),
       },
      ],
      position: (10, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "opt",
        position: (19, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "k",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "v",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "optional",
         position: (19, 17),
        },
        arguments: [
         BinaryOperation {
          operator: NotEqualTo,
          operands: [
           Variable {
            identifier: "v",
            position: (19, 27),
           },
           Variable {
            identifier: "null",
            position: (19, 32),
           },
          ],
          position: (19, 29),
         },
         String {
          parts: [
           Raw {
            content: "--",
            position: (19, 40),
           },
           Expression {
            expression: Variable {
             identifier: "k",
             position: (19, 44),
            },
           },
           Raw {
            content: "=\"",
            position: (19, 46),
           },
           Expression {
            expression: Variable {
             identifier: "v",
             position: (19, 50),
            },
           },
           Raw {
            content: "\"",
            position: (19, 52),
           },
          ],
         },
        ],
       },
       position: (19, 13),
      },
      position: (19, 9),
     },
    ),
   ],
   target: Map {
    bindings: [
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "options",
         position: (22, 3),
        },
       ],
      },
      Map {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "services",
            position: (23, 5),
           },
           Raw {
            content: "prometheus",
            position: (23, 14),
           },
           Raw {
            content: "pushgateway",
            position: (23, 25),
           },
          ],
         },
         Map {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "enable",
               position: (24, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkEnableOption",
              position: (24, 16),
             },
             arguments: [
              String {
               parts: [
                Raw {
                 content: "Prometheus Pushgateway",
                 position: (24, 32),
                },
               ],
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "package",
               position: (26, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (26, 17),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (27, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (27, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "package",
                     position: (27, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (28, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "pkgs",
                   position: (28, 19),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "prometheus-pushgateway",
                     position: (28, 24),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "defaultText",
                    position: (29, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "literalExpression",
                   position: (29, 23),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "pkgs.prometheus-pushgateway",
                      position: (29, 42),
                     },
                    ],
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (30, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Package that should be used for the prometheus pushgateway.\n",
                    position: (31, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (26, 26),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "web",
               position: (35, 7),
              },
              Raw {
               content: "listen-address",
               position: (35, 11),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (35, 28),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (36, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (36, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "nullOr",
                      position: (36, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "types",
                     position: (36, 29),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "str",
                       position: (36, 35),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (37, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (37, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (38, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Address to listen on for the web interface, API and telemetry.\n\n<literal>null</literal> will default to <literal>:9091</literal>.\n",
                    position: (39, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (35, 37),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "web",
               position: (45, 7),
              },
              Raw {
               content: "telemetry-path",
               position: (45, 11),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (45, 28),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (46, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (46, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "nullOr",
                      position: (46, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "types",
                     position: (46, 29),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "str",
                       position: (46, 35),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (47, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (47, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (48, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Path under which to expose metrics.\n\n<literal>null</literal> will default to <literal>/metrics</literal>.\n",
                    position: (49, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (45, 37),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "web",
               position: (55, 7),
              },
              Raw {
               content: "external-url",
               position: (55, 11),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (55, 26),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (56, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (56, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "nullOr",
                      position: (56, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "types",
                     position: (56, 29),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "str",
                       position: (56, 35),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (57, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (57, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (58, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "The URL under which Pushgateway is externally reachable.\n",
                    position: (59, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (55, 35),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "web",
               position: (63, 7),
              },
              Raw {
               content: "route-prefix",
               position: (63, 11),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (63, 26),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (64, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (64, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "nullOr",
                      position: (64, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "types",
                     position: (64, 29),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "str",
                       position: (64, 35),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (65, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (65, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (66, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Prefix for the internal routes of web endpoints.\n\nDefaults to the path of\n<option>services.prometheus.pushgateway.web.external-url</option>.\n",
                    position: (67, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (63, 35),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "persistence",
               position: (74, 7),
              },
              Raw {
               content: "interval",
               position: (74, 19),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (74, 30),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (75, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (75, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "nullOr",
                      position: (75, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "types",
                     position: (75, 29),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "str",
                       position: (75, 35),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (76, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (76, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "example",
                    position: (77, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "10m",
                    position: (77, 20),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (78, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "The minimum interval at which to write out the persistence file.\n\n<literal>null</literal> will default to <literal>5m</literal>.\n",
                    position: (79, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (74, 39),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "log",
               position: (85, 7),
              },
              Raw {
               content: "level",
               position: (85, 11),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (85, 19),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (86, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (86, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "nullOr",
                      position: (86, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   FunctionApplication {
                    function: PropertyAccess {
                     expression: Variable {
                      identifier: "types",
                      position: (86, 30),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Raw {
                        content: "enum",
                        position: (86, 36),
                       },
                      ],
                     },
                     default: None,
                    },
                    arguments: [
                     List {
                      elements: [
                       String {
                        parts: [
                         Raw {
                          content: "debug",
                          position: (86, 43),
                         },
                        ],
                       },
                       String {
                        parts: [
                         Raw {
                          content: "info",
                          position: (86, 51),
                         },
                        ],
                       },
                       String {
                        parts: [
                         Raw {
                          content: "warn",
                          position: (86, 58),
                         },
                        ],
                       },
                       String {
                        parts: [
                         Raw {
                          content: "error",
                          position: (86, 65),
                         },
                        ],
                       },
                       String {
                        parts: [
                         Raw {
                          content: "fatal",
                          position: (86, 73),
                         },
                        ],
                       },
                      ],
                      position: (86, 41),
                     },
                    ],
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (87, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (87, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (88, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Only log messages with the given severity or above.\n\n<literal>null</literal> will default to <literal>info</literal>.\n",
                    position: (89, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (85, 28),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "log",
               position: (95, 7),
              },
              Raw {
               content: "format",
               position: (95, 11),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (95, 20),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (96, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (96, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "nullOr",
                      position: (96, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "types",
                     position: (96, 29),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "str",
                       position: (96, 35),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (97, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (97, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "example",
                    position: (98, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "logger:syslog?appname=bob&local=7",
                    position: (98, 20),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (99, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Set the log target and format.\n\n<literal>null</literal> will default to <literal>logger:stderr</literal>.\n",
                    position: (100, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (95, 29),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "extraFlags",
               position: (106, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (106, 20),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (107, 9),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: PropertyAccess {
                   expression: Variable {
                    identifier: "types",
                    position: (107, 16),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "listOf",
                      position: (107, 22),
                     },
                    ],
                   },
                   default: None,
                  },
                  arguments: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "types",
                     position: (107, 29),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "str",
                       position: (107, 35),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (108, 9),
                   },
                  ],
                 },
                 List {
                  elements: [],
                  position: (108, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (109, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Extra commandline options when launching the Pushgateway.\n",
                    position: (110, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (106, 29),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "persistMetrics",
               position: (114, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (114, 24),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (115, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (115, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "bool",
                     position: (115, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (116, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "false",
                  position: (116, 19),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (117, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Whether to persist metrics to a file.\n\nWhen enabled metrics will be saved to a file called\n<literal>metrics</literal> in the directory\n<literal>/var/lib/pushgateway</literal>. The directory below\n<literal>/var/lib</literal> can be set using\n<option>services.prometheus.pushgateway.stateDir</option>.\n",
                    position: (118, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (114, 33),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "stateDir",
               position: (128, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (128, 18),
             },
             arguments: [
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "type",
                    position: (129, 9),
                   },
                  ],
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "types",
                   position: (129, 16),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "str",
                     position: (129, 22),
                    },
                   ],
                  },
                  default: None,
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "default",
                    position: (130, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "pushgateway",
                    position: (130, 20),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "description",
                    position: (131, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "Directory below <literal>/var/lib</literal> to store metrics.\n\nThis directory will be created automatically using systemd's\nStateDirectory mechanism when\n<option>services.prometheus.pushgateway.persistMetrics</option>\nis enabled.\n",
                    position: (132, 1),
                   },
                  ],
                 },
                ),
               ],
               recursive: false,
               position: (128, 27),
              },
             ],
            },
           ),
          ],
          recursive: false,
          position: (23, 39),
         },
        ),
       ],
       recursive: false,
       position: (22, 13),
      },
     ),
     KeyValue(
      AttributePath {
       attributes: [
        Raw {
         content: "config",
         position: (143, 3),
        },
       ],
      },
      FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (143, 12),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (143, 17),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "enable",
            position: (143, 21),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "assertions",
              position: (144, 5),
             },
            ],
           },
           List {
            elements: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "assertion",
                   position: (146, 9),
                  },
                 ],
                },
                UnaryOperation {
                 operator: Not,
                 operand: FunctionApplication {
                  function: Variable {
                   identifier: "hasPrefix",
                   position: (146, 22),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "/",
                      position: (146, 33),
                     },
                    ],
                   },
                   PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (146, 36),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "stateDir",
                       position: (146, 40),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                 },
                 position: (146, 21),
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "message",
                   position: (147, 9),
                  },
                 ],
                },
                BinaryOperation {
                 operator: Addition,
                 operands: [
                  BinaryOperation {
                   operator: Addition,
                   operands: [
                    String {
                     parts: [
                      Raw {
                       content: "The option services.prometheus.pushgateway.stateDir",
                       position: (148, 12),
                      },
                     ],
                    },
                    String {
                     parts: [
                      Raw {
                       content: " shouldn't be an absolute directory.",
                       position: (149, 12),
                      },
                     ],
                    },
                   ],
                   position: (148, 65),
                  },
                  String {
                   parts: [
                    Raw {
                     content: " It should be a directory relative to /var/lib.",
                     position: (150, 12),
                    },
                   ],
                  },
                 ],
                 position: (149, 50),
                },
               ),
              ],
              recursive: false,
              position: (145, 7),
             },
            ],
            position: (144, 18),
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "systemd",
              position: (153, 5),
             },
             Raw {
              content: "services",
              position: (153, 13),
             },
             Raw {
              content: "pushgateway",
              position: (153, 22),
             },
            ],
           },
           Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "wantedBy",
                 position: (154, 7),
                },
               ],
              },
              List {
               elements: [
                String {
                 parts: [
                  Raw {
                   content: "multi-user.target",
                   position: (154, 21),
                  },
                 ],
                },
               ],
               position: (154, 18),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "after",
                 position: (155, 7),
                },
               ],
              },
              List {
               elements: [
                String {
                 parts: [
                  Raw {
                   content: "network.target",
                   position: (155, 21),
                  },
                 ],
                },
               ],
               position: (155, 18),
              },
             ),
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "serviceConfig",
                 position: (156, 7),
                },
               ],
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "Restart",
                    position: (157, 9),
                   },
                  ],
                 },
                 String {
                  parts: [
                   Raw {
                    content: "always",
                    position: (157, 21),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "DynamicUser",
                    position: (158, 9),
                   },
                  ],
                 },
                 Variable {
                  identifier: "true",
                  position: (158, 23),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "ExecStart",
                    position: (159, 9),
                   },
                  ],
                 },
                 BinaryOperation {
                  operator: Addition,
                  operands: [
                   String {
                    parts: [
                     Expression {
                      expression: PropertyAccess {
                       expression: Variable {
                        identifier: "cfg",
                        position: (159, 24),
                       },
                       attribute_path: AttributePath {
                        attributes: [
                         Raw {
                          content: "package",
                          position: (159, 28),
                         },
                        ],
                       },
                       default: None,
                      },
                     },
                     Raw {
                      content: "/bin/pushgateway",
                      position: (159, 36),
                     },
                    ],
                   },
                   FunctionApplication {
                    function: Variable {
                     identifier: "optionalString",
                     position: (160, 11),
                    },
                    arguments: [
                     BinaryOperation {
                      operator: NotEqualTo,
                      operands: [
                       FunctionApplication {
                        function: Variable {
                         identifier: "length",
                         position: (160, 27),
                        },
                        arguments: [
                         Variable {
                          identifier: "cmdlineArgs",
                          position: (160, 34),
                         },
                        ],
                       },
                       Int {
                        value: 0,
                        position: (160, 49),
                       },
                      ],
                      position: (160, 46),
                     },
                     BinaryOperation {
                      operator: Addition,
                      operands: [
                       String {
                        parts: [
                         Raw {
                          content: " \\\n  ",
                          position: (160, 54),
                         },
                        ],
                       },
                       FunctionApplication {
                        function: Variable {
                         identifier: "concatStringsSep",
                         position: (161, 13),
                        },
                        arguments: [
                         String {
                          parts: [
                           Raw {
                            content: " \\\n  ",
                            position: (161, 31),
                           },
                          ],
                         },
                         Variable {
                          identifier: "cmdlineArgs",
                          position: (161, 40),
                         },
                        ],
                       },
                      ],
                      position: (160, 63),
                     },
                    ],
                   },
                  ],
                  position: (159, 54),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "StateDirectory",
                    position: (162, 9),
                   },
                  ],
                 },
                 IfThenElse {
                  predicate: PropertyAccess {
                   expression: Variable {
                    identifier: "cfg",
                    position: (162, 29),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "persistMetrics",
                      position: (162, 33),
                     },
                    ],
                   },
                   default: None,
                  },
                  then: PropertyAccess {
                   expression: Variable {
                    identifier: "cfg",
                    position: (162, 53),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "stateDir",
                      position: (162, 57),
                     },
                    ],
                   },
                   default: None,
                  },
                  else_: Variable {
                   identifier: "null",
                   position: (162, 71),
                  },
                  position: (162, 26),
                 },
                ),
               ],
               recursive: false,
               position: (156, 23),
              },
             ),
            ],
            recursive: false,
            position: (153, 36),
           },
          ),
         ],
         recursive: false,
         position: (143, 28),
        },
       ],
      },
     ),
    ],
    recursive: false,
    position: (21, 4),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}