---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "config",
    default: None,
   },
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
   DestructuredArgument {
    identifier: "pkgs",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (3, 6),
  },
  target: LetIn {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "cfg",
        position: (6, 3),
       },
      ],
     },
     to: PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (6, 9),
      },
      attribute_path: AttributePath {
       parts: [
        Raw {
         content: "networking",
         position: (6, 16),
        },
        Raw {
         content: "iproute2",
         position: (6, 27),
        },
       ],
      },
      default: None,
     },
    },
   ],
   target: Map {
    bindings: [
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "options",
         position: (9, 3),
        },
        Raw {
         content: "networking",
         position: (9, 11),
        },
        Raw {
         content: "iproute2",
         position: (9, 22),
        },
       ],
      },
      to: Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "enable",
            position: (10, 5),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "mkEnableOption",
           position: (10, 14),
          },
          arguments: [
           String {
            parts: [
             Raw {
              content: "copy IP route configuration files",
              position: (10, 30),
             },
            ],
            position: (10, 29),
           },
          ],
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "rttablesExtraConfig",
            position: (11, 5),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "mkOption",
           position: (11, 27),
          },
          arguments: [
           Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "type",
                 position: (12, 7),
                },
               ],
              },
              to: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (12, 14),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "lines",
                  position: (12, 20),
                 },
                ],
               },
               default: None,
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "default",
                 position: (13, 7),
                },
               ],
              },
              to: String {
               parts: [],
               position: (13, 17),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "description",
                 position: (14, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "Verbatim lines to add to /etc/iproute2/rt_tables\n",
                 position: (15, 1),
                },
               ],
               position: (14, 21),
              },
             },
            ],
            recursive: false,
            position: (11, 36),
           },
          ],
         },
        },
       ],
       recursive: false,
       position: (9, 33),
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "config",
         position: (20, 3),
        },
       ],
      },
      to: FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (20, 12),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (20, 17),
         },
         attribute_path: AttributePath {
          parts: [
           Raw {
            content: "enable",
            position: (20, 21),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (21, 5),
             },
             Raw {
              content: "etc",
              position: (21, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/bpf_pinning",
                 position: (21, 22),
                },
               ],
               position: (21, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (21, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (21, 56),
                },
               ],
               position: (21, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (21, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (21, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (21, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (21, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/bpf_pinning",
                   position: (21, 100),
                  },
                 ],
                 position: (21, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (21, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (22, 5),
             },
             Raw {
              content: "etc",
              position: (22, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/ematch_map",
                 position: (22, 22),
                },
               ],
               position: (22, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (22, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (22, 56),
                },
               ],
               position: (22, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (22, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (22, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (22, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (22, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/ematch_map",
                   position: (22, 100),
                  },
                 ],
                 position: (22, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (22, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (23, 5),
             },
             Raw {
              content: "etc",
              position: (23, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/group",
                 position: (23, 22),
                },
               ],
               position: (23, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (23, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (23, 56),
                },
               ],
               position: (23, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (23, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (23, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (23, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (23, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/group",
                   position: (23, 100),
                  },
                 ],
                 position: (23, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (23, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (24, 5),
             },
             Raw {
              content: "etc",
              position: (24, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/nl_protos",
                 position: (24, 22),
                },
               ],
               position: (24, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (24, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (24, 56),
                },
               ],
               position: (24, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (24, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (24, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (24, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (24, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/nl_protos",
                   position: (24, 100),
                  },
                 ],
                 position: (24, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (24, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (25, 5),
             },
             Raw {
              content: "etc",
              position: (25, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/rt_dsfield",
                 position: (25, 22),
                },
               ],
               position: (25, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (25, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (25, 56),
                },
               ],
               position: (25, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (25, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (25, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (25, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (25, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/rt_dsfield",
                   position: (25, 100),
                  },
                 ],
                 position: (25, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (25, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (26, 5),
             },
             Raw {
              content: "etc",
              position: (26, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/rt_protos",
                 position: (26, 22),
                },
               ],
               position: (26, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (26, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (26, 56),
                },
               ],
               position: (26, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (26, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (26, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (26, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (26, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/rt_protos",
                   position: (26, 100),
                  },
                 ],
                 position: (26, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (26, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (27, 5),
             },
             Raw {
              content: "etc",
              position: (27, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/rt_realms",
                 position: (27, 22),
                },
               ],
               position: (27, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (27, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (27, 56),
                },
               ],
               position: (27, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (27, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (27, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (27, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (27, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/rt_realms",
                   position: (27, 100),
                  },
                 ],
                 position: (27, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (27, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (28, 5),
             },
             Raw {
              content: "etc",
              position: (28, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/rt_scopes",
                 position: (28, 22),
                },
               ],
               position: (28, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (28, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (28, 56),
                },
               ],
               position: (28, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (28, 63),
                },
               ],
              },
              to: FunctionApplication {
               function: Variable {
                identifier: "fileContents",
                position: (28, 70),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "pkgs",
                     position: (28, 86),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "iproute2",
                       position: (28, 91),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: "/etc/iproute2/rt_scopes",
                   position: (28, 100),
                  },
                 ],
                 position: (28, 83),
                },
               ],
              },
             },
            ],
            recursive: false,
            position: (28, 46),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (29, 5),
             },
             Raw {
              content: "etc",
              position: (29, 17),
             },
             Expression {
              ast: String {
               parts: [
                Raw {
                 content: "iproute2/rt_tables",
                 position: (29, 22),
                },
               ],
               position: (29, 21),
              },
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "mode",
                 position: (29, 48),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "0644",
                 position: (29, 56),
                },
               ],
               position: (29, 55),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "text",
                 position: (29, 63),
                },
               ],
              },
              to: BinaryOperation {
               operator: Addition,
               operands: [
                Parentheses {
                 expression: FunctionApplication {
                  function: Variable {
                   identifier: "fileContents",
                   position: (29, 71),
                  },
                  arguments: [
                   String {
                    parts: [
                     Interpolation {
                      expression: PropertyAccess {
                       expression: Variable {
                        identifier: "pkgs",
                        position: (29, 87),
                       },
                       attribute_path: AttributePath {
                        parts: [
                         Raw {
                          content: "iproute2",
                          position: (29, 92),
                         },
                        ],
                       },
                       default: None,
                      },
                     },
                     Raw {
                      content: "/etc/iproute2/rt_tables",
                      position: (29, 101),
                     },
                    ],
                    position: (29, 84),
                   },
                  ],
                 },
                 position: (29, 70),
                },
                Parentheses {
                 expression: FunctionApplication {
                  function: Variable {
                   identifier: "optionalString",
                   position: (30, 71),
                  },
                  arguments: [
                   Parentheses {
                    expression: BinaryOperation {
                     operator: NotEqualTo,
                     operands: [
                      PropertyAccess {
                       expression: Variable {
                        identifier: "cfg",
                        position: (30, 87),
                       },
                       attribute_path: AttributePath {
                        parts: [
                         Raw {
                          content: "rttablesExtraConfig",
                          position: (30, 91),
                         },
                        ],
                       },
                       default: None,
                      },
                      String {
                       parts: [],
                       position: (30, 114),
                      },
                     ],
                     position: (30, 111),
                    },
                    position: (30, 86),
                   },
                   String {
                    parts: [
                     Raw {
                      content: "\n\n",
                      position: (30, 119),
                     },
                     Interpolation {
                      expression: PropertyAccess {
                       expression: Variable {
                        identifier: "cfg",
                        position: (30, 125),
                       },
                       attribute_path: AttributePath {
                        parts: [
                         Raw {
                          content: "rttablesExtraConfig",
                          position: (30, 129),
                         },
                        ],
                       },
                       default: None,
                      },
                     },
                    ],
                    position: (30, 118),
                   },
                  ],
                 },
                 position: (30, 70),
                },
               ],
               position: (30, 68),
              },
             },
            ],
            recursive: false,
            position: (29, 46),
           },
          },
         ],
         recursive: false,
         position: (20, 28),
        },
       ],
      },
     },
    ],
    recursive: false,
    position: (8, 1),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}