---
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: Map {
   bindings: [
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "options",
        position: (9, 3),
       },
      ],
     },
     Map {
      bindings: [
       KeyValue(
        AttributePath {
         attributes: [
          Raw {
           content: "services",
           position: (11, 5),
          },
          Raw {
           content: "pfix-srsd",
           position: (11, 14),
          },
         ],
        },
        Map {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "enable",
              position: (12, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkOption",
             position: (12, 16),
            },
            arguments: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "default",
                   position: (13, 9),
                  },
                 ],
                },
                Variable {
                 identifier: "false",
                 position: (13, 19),
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "type",
                   position: (14, 9),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "types",
                  position: (14, 16),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "bool",
                    position: (14, 22),
                   },
                  ],
                 },
                 default: None,
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "description",
                   position: (15, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "Whether to run the postfix sender rewriting scheme daemon.",
                   position: (15, 24),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (12, 25),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "domain",
              position: (18, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkOption",
             position: (18, 16),
            },
            arguments: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "description",
                   position: (19, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "The domain for which to enable srs",
                   position: (19, 24),
                  },
                 ],
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "type",
                   position: (20, 9),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "types",
                  position: (20, 16),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "str",
                    position: (20, 22),
                   },
                  ],
                 },
                 default: None,
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "example",
                   position: (21, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "example.com",
                   position: (21, 20),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (18, 25),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "secretsFile",
              position: (24, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "mkOption",
             position: (24, 21),
            },
            arguments: [
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "description",
                   position: (25, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "The secret data used to encode the SRS address.\nto generate, use a command like:\n<literal>for n in $(seq 5); do dd if=/dev/urandom count=1 bs=1024 status=none | sha256sum | sed 's/  -$//' | sed 's/^/          /'; done</literal>\n",
                   position: (26, 1),
                  },
                 ],
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "type",
                   position: (30, 9),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "types",
                  position: (30, 16),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "path",
                    position: (30, 22),
                   },
                  ],
                 },
                 default: None,
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "default",
                   position: (31, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "/var/lib/pfix-srsd/secrets",
                   position: (31, 20),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (24, 30),
             },
            ],
           },
          ),
         ],
         recursive: false,
         position: (11, 26),
        },
       ),
      ],
      recursive: false,
      position: (9, 13),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "config",
        position: (38, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "mkIf",
       position: (38, 12),
      },
      arguments: [
       PropertyAccess {
        expression: Variable {
         identifier: "config",
         position: (38, 17),
        },
        attribute_path: AttributePath {
         attributes: [
          Raw {
           content: "services",
           position: (38, 24),
          },
          Raw {
           content: "pfix-srsd",
           position: (38, 33),
          },
          Raw {
           content: "enable",
           position: (38, 43),
          },
         ],
        },
        default: None,
       },
       Map {
        bindings: [
         KeyValue(
          AttributePath {
           attributes: [
            Raw {
             content: "environment",
             position: (39, 5),
            },
           ],
          },
          Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "systemPackages",
                position: (40, 7),
               },
              ],
             },
             List {
              elements: [
               PropertyAccess {
                expression: Variable {
                 identifier: "pkgs",
                 position: (40, 26),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "pfixtools",
                   position: (40, 31),
                  },
                 ],
                },
                default: None,
               },
              ],
              position: (40, 24),
             },
            ),
           ],
           recursive: false,
           position: (39, 19),
          },
         ),
         KeyValue(
          AttributePath {
           attributes: [
            Raw {
             content: "systemd",
             position: (43, 5),
            },
            Raw {
             content: "services",
             position: (43, 13),
            },
            Raw {
             content: "pfix-srsd",
             position: (43, 22),
            },
           ],
          },
          Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "description",
                position: (44, 7),
               },
              ],
             },
             String {
              parts: [
               Raw {
                content: "Postfix sender rewriting scheme daemon",
                position: (44, 22),
               },
              ],
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "before",
                position: (45, 7),
               },
              ],
             },
             List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "postfix.service",
                  position: (45, 19),
                 },
                ],
               },
              ],
              position: (45, 16),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "requiredBy",
                position: (48, 7),
               },
              ],
             },
             List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "postfix.service",
                  position: (48, 23),
                 },
                ],
               },
              ],
              position: (48, 20),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "serviceConfig",
                position: (49, 7),
               },
              ],
             },
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "Type",
                   position: (50, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "forking",
                   position: (50, 17),
                  },
                 ],
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "PIDFile",
                   position: (51, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "/run/pfix-srsd.pid",
                   position: (51, 20),
                  },
                 ],
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "ExecStart",
                   position: (52, 9),
                  },
                 ],
                },
                String {
                 parts: [
                  Expression {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (52, 24),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "pfixtools",
                       position: (52, 29),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/bin/pfix-srsd -p /run/pfix-srsd.pid -I ",
                   position: (52, 39),
                  },
                  Expression {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "config",
                     position: (52, 81),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "services",
                       position: (52, 88),
                      },
                      Raw {
                       content: "pfix-srsd",
                       position: (52, 97),
                      },
                      Raw {
                       content: "domain",
                       position: (52, 107),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: " ",
                   position: (52, 114),
                  },
                  Expression {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "config",
                     position: (52, 117),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "services",
                       position: (52, 124),
                      },
                      Raw {
                       content: "pfix-srsd",
                       position: (52, 133),
                      },
                      Raw {
                       content: "secretsFile",
                       position: (52, 143),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (49, 23),
             },
            ),
           ],
           recursive: false,
           position: (43, 34),
          },
         ),
        ],
        recursive: false,
        position: (38, 50),
       },
      ],
     },
    ),
   ],
   recursive: false,
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}