---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "config",
    default: None,
   },
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
   DestructuredArgument {
    identifier: "options",
    default: None,
   },
   DestructuredArgument {
    identifier: "pkgs",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: LetIn {
  bindings: [
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "cfg",
       position: (4, 3),
      },
     ],
    },
    to: PropertyAccess {
     expression: Variable {
      identifier: "config",
      position: (4, 9),
     },
     attribute_path: AttributePath {
      parts: [
       Raw {
        content: "system",
        position: (4, 16),
       },
       Raw {
        content: "nixos",
        position: (4, 23),
       },
      ],
     },
     default: None,
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "opt",
       position: (5, 3),
      },
     ],
    },
    to: PropertyAccess {
     expression: Variable {
      identifier: "options",
      position: (5, 9),
     },
     attribute_path: AttributePath {
      parts: [
       Raw {
        content: "system",
        position: (5, 17),
       },
       Raw {
        content: "nixos",
        position: (5, 24),
       },
      ],
     },
     default: None,
    },
   },
   Inherit {
    from: Some(
     Variable {
      identifier: "lib",
      position: (7, 12),
     },
    ),
    attributes: [
     Raw {
      content: "concatStringsSep",
      position: (8, 5),
     },
     Raw {
      content: "mapAttrsToList",
      position: (8, 22),
     },
     Raw {
      content: "toLower",
      position: (8, 37),
     },
     Raw {
      content: "literalExpression",
      position: (9, 5),
     },
     Raw {
      content: "mkRenamedOptionModule",
      position: (9, 23),
     },
     Raw {
      content: "mkDefault",
      position: (9, 45),
     },
     Raw {
      content: "mkOption",
      position: (9, 55),
     },
     Raw {
      content: "trivial",
      position: (9, 64),
     },
     Raw {
      content: "types",
      position: (9, 72),
     },
    ],
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "needsEscaping",
       position: (11, 3),
      },
     ],
    },
    to: Function {
     argument: Simple {
      identifier: "s",
     },
     definition: BinaryOperation {
      operator: NotEqualTo,
      operands: [
       Variable {
        identifier: "null",
        position: (11, 22),
       },
       FunctionApplication {
        function: PropertyAccess {
         expression: Variable {
          identifier: "builtins",
          position: (11, 30),
         },
         attribute_path: AttributePath {
          parts: [
           Raw {
            content: "match",
            position: (11, 39),
           },
          ],
         },
         default: None,
        },
        arguments: [
         String {
          parts: [
           Raw {
            content: "[a-zA-Z0-9]+",
            position: (11, 46),
           },
          ],
          position: (11, 45),
         },
         Variable {
          identifier: "s",
          position: (11, 60),
         },
        ],
       },
      ],
      position: (11, 27),
     },
     position: (11, 19),
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "escapeIfNeccessary",
       position: (12, 3),
      },
     ],
    },
    to: Function {
     argument: Simple {
      identifier: "s",
     },
     definition: IfThenElse {
      predicate: FunctionApplication {
       function: Variable {
        identifier: "needsEscaping",
        position: (12, 30),
       },
       arguments: [
        Variable {
         identifier: "s",
         position: (12, 44),
        },
       ],
      },
      then: Variable {
       identifier: "s",
       position: (12, 51),
      },
      else_: String {
       parts: [
        Raw {
         content: "\"",
         position: (12, 60),
        },
        Expression {
         expression: FunctionApplication {
          function: PropertyAccess {
           expression: Variable {
            identifier: "lib",
            position: (12, 63),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "escape",
              position: (12, 67),
             },
            ],
           },
           default: None,
          },
          arguments: [
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "$",
                position: (12, 77),
               },
              ],
              position: (12, 76),
             },
             String {
              parts: [
               Raw {
                content: "\"",
                position: (12, 82),
               },
              ],
              position: (12, 81),
             },
             String {
              parts: [
               Raw {
                content: "\\",
                position: (12, 87),
               },
              ],
              position: (12, 86),
             },
             String {
              parts: [
               Raw {
                content: "`",
                position: (12, 92),
               },
              ],
              position: (12, 91),
             },
            ],
            position: (12, 74),
           },
           Variable {
            identifier: "s",
            position: (12, 98),
           },
          ],
         },
        },
        Raw {
         content: "\"",
         position: (12, 100),
        },
       ],
       position: (12, 58),
      },
      position: (12, 27),
     },
     position: (12, 24),
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "attrsToText",
       position: (13, 3),
      },
     ],
    },
    to: Function {
     argument: Simple {
      identifier: "attrs",
     },
     definition: FunctionApplication {
      function: Variable {
       identifier: "concatStringsSep",
       position: (14, 5),
      },
      arguments: [
       String {
        parts: [
         Raw {
          content: "\n",
          position: (14, 23),
         },
        ],
        position: (14, 22),
       },
       Parentheses {
        expression: FunctionApplication {
         function: Variable {
          identifier: "mapAttrsToList",
          position: (15, 7),
         },
         arguments: [
          Parentheses {
           expression: Function {
            argument: Simple {
             identifier: "n",
            },
            definition: Function {
             argument: Simple {
              identifier: "v",
             },
             definition: String {
              parts: [
               Expression {
                expression: Variable {
                 identifier: "n",
                 position: (15, 33),
                },
               },
               Raw {
                content: "=",
                position: (15, 35),
               },
               Expression {
                expression: FunctionApplication {
                 function: Variable {
                  identifier: "escapeIfNeccessary",
                  position: (15, 38),
                 },
                 arguments: [
                  Parentheses {
                   expression: FunctionApplication {
                    function: Variable {
                     identifier: "toString",
                     position: (15, 58),
                    },
                    arguments: [
                     Variable {
                      identifier: "v",
                      position: (15, 67),
                     },
                    ],
                   },
                   position: (15, 57),
                  },
                 ],
                },
               },
              ],
              position: (15, 29),
             },
             position: (15, 26),
            },
            position: (15, 23),
           },
           position: (15, 22),
          },
          Variable {
           identifier: "attrs",
           position: (15, 74),
          },
         ],
        },
        position: (14, 27),
       },
      ],
     },
     position: (13, 17),
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "osReleaseContents",
       position: (18, 3),
      },
     ],
    },
    to: Map {
     bindings: [
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "NAME",
          position: (19, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "NixOS",
          position: (19, 13),
         },
        ],
        position: (19, 12),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "ID",
          position: (20, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "nixos",
          position: (20, 11),
         },
        ],
        position: (20, 10),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "VERSION",
          position: (21, 5),
         },
        ],
       },
       to: String {
        parts: [
         Expression {
          expression: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (21, 18),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "release",
              position: (21, 22),
             },
            ],
           },
           default: None,
          },
         },
         Raw {
          content: " (",
          position: (21, 30),
         },
         Expression {
          expression: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (21, 34),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "codeName",
              position: (21, 38),
             },
            ],
           },
           default: None,
          },
         },
         Raw {
          content: ")",
          position: (21, 47),
         },
        ],
        position: (21, 15),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "VERSION_CODENAME",
          position: (22, 5),
         },
        ],
       },
       to: FunctionApplication {
        function: Variable {
         identifier: "toLower",
         position: (22, 24),
        },
        arguments: [
         PropertyAccess {
          expression: Variable {
           identifier: "cfg",
           position: (22, 32),
          },
          attribute_path: AttributePath {
           parts: [
            Raw {
             content: "codeName",
             position: (22, 36),
            },
           ],
          },
          default: None,
         },
        ],
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "VERSION_ID",
          position: (23, 5),
         },
        ],
       },
       to: PropertyAccess {
        expression: Variable {
         identifier: "cfg",
         position: (23, 18),
        },
        attribute_path: AttributePath {
         parts: [
          Raw {
           content: "release",
           position: (23, 22),
          },
         ],
        },
        default: None,
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "BUILD_ID",
          position: (24, 5),
         },
        ],
       },
       to: PropertyAccess {
        expression: Variable {
         identifier: "cfg",
         position: (24, 16),
        },
        attribute_path: AttributePath {
         parts: [
          Raw {
           content: "version",
           position: (24, 20),
          },
         ],
        },
        default: None,
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "PRETTY_NAME",
          position: (25, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "NixOS ",
          position: (25, 20),
         },
         Expression {
          expression: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (25, 28),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "release",
              position: (25, 32),
             },
            ],
           },
           default: None,
          },
         },
         Raw {
          content: " (",
          position: (25, 40),
         },
         Expression {
          expression: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (25, 44),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "codeName",
              position: (25, 48),
             },
            ],
           },
           default: None,
          },
         },
         Raw {
          content: ")",
          position: (25, 57),
         },
        ],
        position: (25, 19),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "LOGO",
          position: (26, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "nix-snowflake",
          position: (26, 13),
         },
        ],
        position: (26, 12),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "HOME_URL",
          position: (27, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "https://nixos.org/",
          position: (27, 17),
         },
        ],
        position: (27, 16),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "DOCUMENTATION_URL",
          position: (28, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "https://nixos.org/learn.html",
          position: (28, 26),
         },
        ],
        position: (28, 25),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "SUPPORT_URL",
          position: (29, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "https://nixos.org/community.html",
          position: (29, 20),
         },
        ],
        position: (29, 19),
       },
      },
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "BUG_REPORT_URL",
          position: (30, 5),
         },
        ],
       },
       to: String {
        parts: [
         Raw {
          content: "https://github.com/NixOS/nixpkgs/issues",
          position: (30, 23),
         },
        ],
        position: (30, 22),
       },
      },
     ],
     recursive: false,
     position: (18, 23),
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "initrdReleaseContents",
       position: (33, 3),
      },
     ],
    },
    to: BinaryOperation {
     operator: Update,
     operands: [
      Variable {
       identifier: "osReleaseContents",
       position: (33, 27),
      },
      Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "PRETTY_NAME",
            position: (34, 5),
           },
          ],
         },
         to: String {
          parts: [
           Expression {
            expression: PropertyAccess {
             expression: Variable {
              identifier: "osReleaseContents",
              position: (34, 22),
             },
             attribute_path: AttributePath {
              parts: [
               Raw {
                content: "PRETTY_NAME",
                position: (34, 40),
               },
              ],
             },
             default: None,
            },
           },
           Raw {
            content: " (Initrd)",
            position: (34, 52),
           },
          ],
          position: (34, 19),
         },
        },
       ],
       recursive: false,
       position: (33, 48),
      },
     ],
     position: (33, 45),
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "initrdRelease",
       position: (36, 3),
      },
     ],
    },
    to: FunctionApplication {
     function: PropertyAccess {
      expression: Variable {
       identifier: "pkgs",
       position: (36, 19),
      },
      attribute_path: AttributePath {
       parts: [
        Raw {
         content: "writeText",
         position: (36, 24),
        },
       ],
      },
      default: None,
     },
     arguments: [
      String {
       parts: [
        Raw {
         content: "initrd-release",
         position: (36, 35),
        },
       ],
       position: (36, 34),
      },
      Parentheses {
       expression: FunctionApplication {
        function: Variable {
         identifier: "attrsToText",
         position: (36, 52),
        },
        arguments: [
         Variable {
          identifier: "initrdReleaseContents",
          position: (36, 64),
         },
        ],
       },
       position: (36, 51),
      },
     ],
    },
   },
  ],
  target: Map {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "imports",
        position: (40, 3),
       },
      ],
     },
     to: List {
      elements: [
       Parentheses {
        expression: FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (41, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (41, 31),
              },
             ],
             position: (41, 30),
            },
            String {
             parts: [
              Raw {
               content: "nixosVersion",
               position: (41, 40),
              },
             ],
             position: (41, 39),
            },
           ],
           position: (41, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (41, 59),
              },
             ],
             position: (41, 58),
            },
            String {
             parts: [
              Raw {
               content: "nixos",
               position: (41, 68),
              },
             ],
             position: (41, 67),
            },
            String {
             parts: [
              Raw {
               content: "version",
               position: (41, 76),
              },
             ],
             position: (41, 75),
            },
           ],
           position: (41, 56),
          },
         ],
        },
        position: (41, 5),
       },
       Parentheses {
        expression: FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (42, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (42, 31),
              },
             ],
             position: (42, 30),
            },
            String {
             parts: [
              Raw {
               content: "nixosVersionSuffix",
               position: (42, 40),
              },
             ],
             position: (42, 39),
            },
           ],
           position: (42, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (42, 65),
              },
             ],
             position: (42, 64),
            },
            String {
             parts: [
              Raw {
               content: "nixos",
               position: (42, 74),
              },
             ],
             position: (42, 73),
            },
            String {
             parts: [
              Raw {
               content: "versionSuffix",
               position: (42, 82),
              },
             ],
             position: (42, 81),
            },
           ],
           position: (42, 62),
          },
         ],
        },
        position: (42, 5),
       },
       Parentheses {
        expression: FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (43, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (43, 31),
              },
             ],
             position: (43, 30),
            },
            String {
             parts: [
              Raw {
               content: "nixosRevision",
               position: (43, 40),
              },
             ],
             position: (43, 39),
            },
           ],
           position: (43, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (43, 60),
              },
             ],
             position: (43, 59),
            },
            String {
             parts: [
              Raw {
               content: "nixos",
               position: (43, 69),
              },
             ],
             position: (43, 68),
            },
            String {
             parts: [
              Raw {
               content: "revision",
               position: (43, 77),
              },
             ],
             position: (43, 76),
            },
           ],
           position: (43, 57),
          },
         ],
        },
        position: (43, 5),
       },
       Parentheses {
        expression: FunctionApplication {
         function: Variable {
          identifier: "mkRenamedOptionModule",
          position: (44, 6),
         },
         arguments: [
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (44, 31),
              },
             ],
             position: (44, 30),
            },
            String {
             parts: [
              Raw {
               content: "nixosLabel",
               position: (44, 40),
              },
             ],
             position: (44, 39),
            },
           ],
           position: (44, 28),
          },
          List {
           elements: [
            String {
             parts: [
              Raw {
               content: "system",
               position: (44, 57),
              },
             ],
             position: (44, 56),
            },
            String {
             parts: [
              Raw {
               content: "nixos",
               position: (44, 66),
              },
             ],
             position: (44, 65),
            },
            String {
             parts: [
              Raw {
               content: "label",
               position: (44, 74),
              },
             ],
             position: (44, 73),
            },
           ],
           position: (44, 54),
          },
         ],
        },
        position: (44, 5),
       },
      ],
      position: (40, 13),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "options",
        position: (47, 3),
       },
       Raw {
        content: "system",
        position: (47, 11),
       },
      ],
     },
     to: Map {
      bindings: [
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "nixos",
           position: (49, 5),
          },
          Raw {
           content: "version",
           position: (49, 11),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (49, 21),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "internal",
                position: (50, 7),
               },
              ],
             },
             to: Variable {
              identifier: "true",
              position: (50, 18),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (51, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "types",
               position: (51, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "str",
                 position: (51, 20),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (52, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "The full NixOS version (e.g. <literal>16.03.1160.f2d4ee1</literal>).",
                position: (52, 22),
               },
              ],
              position: (52, 21),
             },
            },
           ],
           recursive: false,
           position: (49, 30),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "nixos",
           position: (55, 5),
          },
          Raw {
           content: "release",
           position: (55, 11),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (55, 21),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "readOnly",
                position: (56, 7),
               },
              ],
             },
             to: Variable {
              identifier: "true",
              position: (56, 18),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (57, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "types",
               position: (57, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "str",
                 position: (57, 20),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (58, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "trivial",
               position: (58, 17),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "release",
                 position: (58, 25),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (59, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "The NixOS release (e.g. <literal>16.03</literal>).",
                position: (59, 22),
               },
              ],
              position: (59, 21),
             },
            },
           ],
           recursive: false,
           position: (55, 30),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "nixos",
           position: (62, 5),
          },
          Raw {
           content: "versionSuffix",
           position: (62, 11),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (62, 27),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "internal",
                position: (63, 7),
               },
              ],
             },
             to: Variable {
              identifier: "true",
              position: (63, 18),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (64, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "types",
               position: (64, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "str",
                 position: (64, 20),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (65, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "trivial",
               position: (65, 17),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "versionSuffix",
                 position: (65, 25),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (66, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "The NixOS version suffix (e.g. <literal>1160.f2d4ee1</literal>).",
                position: (66, 22),
               },
              ],
              position: (66, 21),
             },
            },
           ],
           recursive: false,
           position: (62, 36),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "nixos",
           position: (69, 5),
          },
          Raw {
           content: "revision",
           position: (69, 11),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (69, 22),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "internal",
                position: (70, 7),
               },
              ],
             },
             to: Variable {
              identifier: "true",
              position: (70, 18),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (71, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (71, 14),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "nullOr",
                  position: (71, 20),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "types",
                 position: (71, 27),
                },
                attribute_path: AttributePath {
                 parts: [
                  Raw {
                   content: "str",
                   position: (71, 33),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (72, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "trivial",
                position: (72, 17),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "revisionWithDefault",
                  position: (72, 25),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               Variable {
                identifier: "null",
                position: (72, 45),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (73, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "The Git revision from which this NixOS configuration was built.",
                position: (73, 22),
               },
              ],
              position: (73, 21),
             },
            },
           ],
           recursive: false,
           position: (69, 31),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "nixos",
           position: (76, 5),
          },
          Raw {
           content: "codeName",
           position: (76, 11),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (76, 22),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "readOnly",
                position: (77, 7),
               },
              ],
             },
             to: Variable {
              identifier: "true",
              position: (77, 18),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (78, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "types",
               position: (78, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "str",
                 position: (78, 20),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (79, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "trivial",
               position: (79, 17),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "codeName",
                 position: (79, 25),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (80, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "The NixOS release code name (e.g. <literal>Emu</literal>).",
                position: (80, 22),
               },
              ],
              position: (80, 21),
             },
            },
           ],
           recursive: false,
           position: (76, 31),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "stateVersion",
           position: (83, 5),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (83, 20),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (84, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "types",
               position: (84, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "str",
                 position: (84, 20),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (85, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "cfg",
               position: (85, 17),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "release",
                 position: (85, 21),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "defaultText",
                position: (86, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "literalExpression",
               position: (86, 21),
              },
              arguments: [
               String {
                parts: [
                 Raw {
                  content: "config.",
                  position: (86, 40),
                 },
                 Expression {
                  expression: PropertyAccess {
                   expression: Variable {
                    identifier: "opt",
                    position: (86, 49),
                   },
                   attribute_path: AttributePath {
                    parts: [
                     Raw {
                      content: "release",
                      position: (86, 53),
                     },
                    ],
                   },
                   default: None,
                  },
                 },
                ],
                position: (86, 39),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (87, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "Every once in a while, a new NixOS release may change\nconfiguration defaults in a way incompatible with stateful\ndata. For instance, if the default version of PostgreSQL\nchanges, the new version will probably be unable to read your\nexisting databases. To prevent such breakage, you should set the\nvalue of this option to the NixOS release with which you want\nto be compatible. The effect is that NixOS will use\ndefaults corresponding to the specified release (such as using\nan older version of PostgreSQL).\nIt‘s perfectly fine and recommended to leave this value at the\nrelease version of the first install of this system.\nChanging this option will not upgrade your system. In fact it\nis meant to stay constant exactly when you upgrade your system.\nYou should only bump this option, if you are sure that you can\nor have migrated all state on your system which is affected\nby this option.\n",
                position: (88, 1),
               },
              ],
              position: (87, 21),
             },
            },
           ],
           recursive: false,
           position: (83, 29),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "defaultChannel",
           position: (107, 5),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (107, 22),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "internal",
                position: (108, 7),
               },
              ],
             },
             to: Variable {
              identifier: "true",
              position: (108, 18),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (109, 7),
               },
              ],
             },
             to: PropertyAccess {
              expression: Variable {
               identifier: "types",
               position: (109, 14),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "str",
                 position: (109, 20),
                },
               ],
              },
              default: None,
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (110, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "https://nixos.org/channels/nixos-unstable",
                position: (110, 18),
               },
              ],
              position: (110, 17),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (111, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "Default NixOS channel to which the root user is subscribed.",
                position: (111, 22),
               },
              ],
              position: (111, 21),
             },
            },
           ],
           recursive: false,
           position: (107, 31),
          },
         ],
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "configurationRevision",
           position: (114, 5),
          },
         ],
        },
        to: FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (114, 29),
         },
         arguments: [
          Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "type",
                position: (115, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (115, 14),
               },
               attribute_path: AttributePath {
                parts: [
                 Raw {
                  content: "nullOr",
                  position: (115, 20),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "types",
                 position: (115, 27),
                },
                attribute_path: AttributePath {
                 parts: [
                  Raw {
                   content: "str",
                   position: (115, 33),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "default",
                position: (116, 7),
               },
              ],
             },
             to: Variable {
              identifier: "null",
              position: (116, 17),
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "description",
                position: (117, 7),
               },
              ],
             },
             to: String {
              parts: [
               Raw {
                content: "The Git revision of the top-level flake from which this configuration was built.",
                position: (117, 22),
               },
              ],
              position: (117, 21),
             },
            },
           ],
           recursive: false,
           position: (114, 38),
          },
         ],
        },
       },
      ],
      recursive: false,
      position: (47, 20),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "config",
        position: (122, 3),
       },
      ],
     },
     to: Map {
      bindings: [
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "system",
           position: (124, 5),
          },
          Raw {
           content: "nixos",
           position: (124, 12),
          },
         ],
        },
        to: Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "version",
              position: (127, 7),
             },
            ],
           },
           to: FunctionApplication {
            function: Variable {
             identifier: "mkDefault",
             position: (127, 17),
            },
            arguments: [
             Parentheses {
              expression: BinaryOperation {
               operator: Addition,
               operands: [
                PropertyAccess {
                 expression: Variable {
                  identifier: "cfg",
                  position: (127, 28),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "release",
                    position: (127, 32),
                   },
                  ],
                 },
                 default: None,
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "cfg",
                  position: (127, 42),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "versionSuffix",
                    position: (127, 46),
                   },
                  ],
                 },
                 default: None,
                },
               ],
               position: (127, 40),
              },
              position: (127, 27),
             },
            ],
           },
          },
         ],
         recursive: false,
         position: (124, 20),
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "environment",
           position: (133, 5),
          },
          Raw {
           content: "etc",
           position: (133, 17),
          },
         ],
        },
        to: Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "lsb-release",
                 position: (134, 8),
                },
               ],
               position: (134, 7),
              },
             },
             Raw {
              content: "text",
              position: (134, 21),
             },
            ],
           },
           to: FunctionApplication {
            function: Variable {
             identifier: "attrsToText",
             position: (134, 28),
            },
            arguments: [
             Map {
              bindings: [
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "LSB_VERSION",
                   position: (135, 9),
                  },
                 ],
                },
                to: String {
                 parts: [
                  Expression {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (135, 26),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "release",
                       position: (135, 30),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: " (",
                   position: (135, 38),
                  },
                  Expression {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (135, 42),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "codeName",
                       position: (135, 46),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: ")",
                   position: (135, 55),
                  },
                 ],
                 position: (135, 23),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "DISTRIB_ID",
                   position: (136, 9),
                  },
                 ],
                },
                to: String {
                 parts: [
                  Raw {
                   content: "nixos",
                   position: (136, 23),
                  },
                 ],
                 position: (136, 22),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "DISTRIB_RELEASE",
                   position: (137, 9),
                  },
                 ],
                },
                to: PropertyAccess {
                 expression: Variable {
                  identifier: "cfg",
                  position: (137, 27),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "release",
                    position: (137, 31),
                   },
                  ],
                 },
                 default: None,
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "DISTRIB_CODENAME",
                   position: (138, 9),
                  },
                 ],
                },
                to: FunctionApplication {
                 function: Variable {
                  identifier: "toLower",
                  position: (138, 28),
                 },
                 arguments: [
                  PropertyAccess {
                   expression: Variable {
                    identifier: "cfg",
                    position: (138, 36),
                   },
                   attribute_path: AttributePath {
                    parts: [
                     Raw {
                      content: "codeName",
                      position: (138, 40),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "DISTRIB_DESCRIPTION",
                   position: (139, 9),
                  },
                 ],
                },
                to: String {
                 parts: [
                  Raw {
                   content: "NixOS ",
                   position: (139, 32),
                  },
                  Expression {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (139, 40),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "release",
                       position: (139, 44),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: " (",
                   position: (139, 52),
                  },
                  Expression {
                   expression: PropertyAccess {
                    expression: Variable {
                     identifier: "cfg",
                     position: (139, 56),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "codeName",
                       position: (139, 60),
                      },
                     ],
                    },
                    default: None,
                   },
                  },
                  Raw {
                   content: ")",
                   position: (139, 69),
                  },
                 ],
                 position: (139, 31),
                },
               },
              ],
              recursive: false,
              position: (134, 40),
             },
            ],
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "os-release",
                 position: (142, 8),
                },
               ],
               position: (142, 7),
              },
             },
             Raw {
              content: "text",
              position: (142, 20),
             },
            ],
           },
           to: FunctionApplication {
            function: Variable {
             identifier: "attrsToText",
             position: (142, 27),
            },
            arguments: [
             Variable {
              identifier: "osReleaseContents",
              position: (142, 39),
             },
            ],
           },
          },
         ],
         recursive: false,
         position: (133, 23),
        },
       },
       Binding {
        from: AttributePath {
         parts: [
          Raw {
           content: "boot",
           position: (145, 5),
          },
          Raw {
           content: "initrd",
           position: (145, 10),
          },
          Raw {
           content: "systemd",
           position: (145, 17),
          },
          Raw {
           content: "contents",
           position: (145, 25),
          },
         ],
        },
        to: Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "/etc/os-release",
                 position: (146, 8),
                },
               ],
               position: (146, 7),
              },
             },
             Raw {
              content: "source",
              position: (146, 25),
             },
            ],
           },
           to: Variable {
            identifier: "initrdRelease",
            position: (146, 34),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Expression {
              expression: String {
               parts: [
                Raw {
                 content: "/etc/initrd-release",
                 position: (147, 8),
                },
               ],
               position: (147, 7),
              },
             },
             Raw {
              content: "source",
              position: (147, 29),
             },
            ],
           },
           to: Variable {
            identifier: "initrdRelease",
            position: (147, 38),
           },
          },
         ],
         recursive: false,
         position: (145, 36),
        },
       },
      ],
      recursive: false,
      position: (122, 12),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "meta",
        position: (152, 3),
       },
       Raw {
        content: "buildDocsInSandbox",
        position: (152, 8),
       },
      ],
     },
     to: Variable {
      identifier: "false",
      position: (152, 29),
     },
    },
   ],
   recursive: false,
   position: (39, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}