Function(
 Function {
  head: Destructured(
   FunctionHeadDestructured {
    ellipsis: false,
    identifier: None,
    arguments: [
     FunctionHeadDestructuredArgument {
      identifier: "pkgs",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "lib",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "options",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "transformOptions",
      default: Some(
       PropertyAccess(
        PropertyAccess {
         expression: Identifier(
          Identifier {
           id: "lib",
           span: Span {
            start: Position {
             line: 22,
             column: 22,
            },
            end: Position {
             line: 22,
             column: 25,
            },
           },
          },
         ),
         attribute_path: [
          Raw(
           PartRaw {
            content: "id",
            span: Span {
             start: Position {
              line: 22,
              column: 26,
             },
             end: Position {
              line: 22,
              column: 28,
             },
            },
           },
          ),
         ],
         default: None,
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "documentType",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "appendix",
            span: Span {
             start: Position {
              line: 23,
              column: 19,
             },
             end: Position {
              line: 23,
              column: 27,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 23,
           column: 18,
          },
          end: Position {
           line: 23,
           column: 28,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "variablelistId",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "configuration-variable-list",
            span: Span {
             start: Position {
              line: 28,
              column: 21,
             },
             end: Position {
              line: 28,
              column: 48,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 28,
           column: 20,
          },
          end: Position {
           line: 28,
           column: 49,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "optionIdPrefix",
      default: Some(
       String(
        String_ {
         parts: [
          Raw(
           PartRaw {
            content: "opt-",
            span: Span {
             start: Position {
              line: 30,
              column: 21,
             },
             end: Position {
              line: 30,
              column: 25,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 30,
           column: 20,
          },
          end: Position {
           line: 30,
           column: 26,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "revision",
      default: Some(
       String(
        String_ {
         parts: [],
         span: Span {
          start: Position {
           line: 31,
           column: 14,
          },
          end: Position {
           line: 31,
           column: 16,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "baseOptionsJSON",
      default: Some(
       Identifier(
        Identifier {
         id: "null",
         span: Span {
          start: Position {
           line: 35,
           column: 21,
          },
          end: Position {
           line: 35,
           column: 25,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "warningsAreErrors",
      default: Some(
       Identifier(
        Identifier {
         id: "true",
         span: Span {
          start: Position {
           line: 38,
           column: 23,
          },
          end: Position {
           line: 38,
           column: 27,
          },
         },
        },
       ),
      ),
     },
     FunctionHeadDestructuredArgument {
      identifier: "allowDocBook",
      default: Some(
       Identifier(
        Identifier {
         id: "true",
         span: Span {
          start: Position {
           line: 42,
           column: 18,
          },
          end: Position {
           line: 42,
           column: 22,
          },
         },
        },
       ),
      ),
     },
    ],
   },
  ),
  body: LetIn(
   LetIn {
    bindings: [
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "substSpecial",
          span: Span {
           start: Position {
            line: 53,
            column: 3,
           },
           end: Position {
            line: 53,
            column: 15,
           },
          },
         },
        ),
       ],
       to: Function(
        Function {
         head: Simple(
          FunctionHeadSimple {
           identifier: "x",
          },
         ),
         body: IfThenElse(
          IfThenElse {
           predicate: FunctionApplication(
            FunctionApplication {
             function: PropertyAccess(
              PropertyAccess {
               expression: Identifier(
                Identifier {
                 id: "lib",
                 span: Span {
                  start: Position {
                   line: 54,
                   column: 8,
                  },
                  end: Position {
                   line: 54,
                   column: 11,
                  },
                 },
                },
               ),
               attribute_path: [
                Raw(
                 PartRaw {
                  content: "isDerivation",
                  span: Span {
                   start: Position {
                    line: 54,
                    column: 12,
                   },
                   end: Position {
                    line: 54,
                    column: 24,
                   },
                  },
                 },
                ),
               ],
               default: None,
              },
             ),
             arguments: [
              Identifier(
               Identifier {
                id: "x",
                span: Span {
                 start: Position {
                  line: 54,
                  column: 25,
                 },
                 end: Position {
                  line: 54,
                  column: 26,
                 },
                },
               },
              ),
             ],
            },
           ),
           then: Map(
            Map {
             recursive: false,
             bindings: [
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "_type",
                   span: Span {
                    start: Position {
                     line: 54,
                     column: 34,
                    },
                    end: Position {
                     line: 54,
                     column: 39,
                    },
                   },
                  },
                 ),
                ],
                to: String(
                 String_ {
                  parts: [
                   Raw(
                    PartRaw {
                     content: "derivation",
                     span: Span {
                      start: Position {
                       line: 54,
                       column: 43,
                      },
                      end: Position {
                       line: 54,
                       column: 53,
                      },
                     },
                    },
                   ),
                  ],
                  span: Span {
                   start: Position {
                    line: 54,
                    column: 42,
                   },
                   end: Position {
                    line: 54,
                    column: 54,
                   },
                  },
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "name",
                   span: Span {
                    start: Position {
                     line: 54,
                     column: 56,
                    },
                    end: Position {
                     line: 54,
                     column: 60,
                    },
                   },
                  },
                 ),
                ],
                to: PropertyAccess(
                 PropertyAccess {
                  expression: Identifier(
                   Identifier {
                    id: "x",
                    span: Span {
                     start: Position {
                      line: 54,
                      column: 63,
                     },
                     end: Position {
                      line: 54,
                      column: 64,
                     },
                    },
                   },
                  ),
                  attribute_path: [
                   Raw(
                    PartRaw {
                     content: "name",
                     span: Span {
                      start: Position {
                       line: 54,
                       column: 65,
                      },
                      end: Position {
                       line: 54,
                       column: 69,
                      },
                     },
                    },
                   ),
                  ],
                  default: None,
                 },
                ),
               },
              ),
             ],
             span: Span {
              start: Position {
               line: 54,
               column: 32,
              },
              end: Position {
               line: 54,
               column: 72,
              },
             },
            },
           ),
           else_: IfThenElse(
            IfThenElse {
             predicate: FunctionApplication(
              FunctionApplication {
               function: PropertyAccess(
                PropertyAccess {
                 expression: Identifier(
                  Identifier {
                   id: "builtins",
                   span: Span {
                    start: Position {
                     line: 55,
                     column: 13,
                    },
                    end: Position {
                     line: 55,
                     column: 21,
                    },
                   },
                  },
                 ),
                 attribute_path: [
                  Raw(
                   PartRaw {
                    content: "isAttrs",
                    span: Span {
                     start: Position {
                      line: 55,
                      column: 22,
                     },
                     end: Position {
                      line: 55,
                      column: 29,
                     },
                    },
                   },
                  ),
                 ],
                 default: None,
                },
               ),
               arguments: [
                Identifier(
                 Identifier {
                  id: "x",
                  span: Span {
                   start: Position {
                    line: 55,
                    column: 30,
                   },
                   end: Position {
                    line: 55,
                    column: 31,
                   },
                  },
                 },
                ),
               ],
              },
             ),
             then: FunctionApplication(
              FunctionApplication {
               function: PropertyAccess(
                PropertyAccess {
                 expression: Identifier(
                  Identifier {
                   id: "lib",
                   span: Span {
                    start: Position {
                     line: 55,
                     column: 37,
                    },
                    end: Position {
                     line: 55,
                     column: 40,
                    },
                   },
                  },
                 ),
                 attribute_path: [
                  Raw(
                   PartRaw {
                    content: "mapAttrs",
                    span: Span {
                     start: Position {
                      line: 55,
                      column: 41,
                     },
                     end: Position {
                      line: 55,
                      column: 49,
                     },
                    },
                   },
                  ),
                 ],
                 default: None,
                },
               ),
               arguments: [
                Function(
                 Function {
                  head: Simple(
                   FunctionHeadSimple {
                    identifier: "name",
                   },
                  ),
                  body: Identifier(
                   Identifier {
                    id: "substSpecial",
                    span: Span {
                     start: Position {
                      line: 55,
                      column: 57,
                     },
                     end: Position {
                      line: 55,
                      column: 69,
                     },
                    },
                   },
                  ),
                  span: Span {
                   start: Position {
                    line: 55,
                    column: 51,
                   },
                   end: Position {
                    line: 55,
                    column: 69,
                   },
                  },
                 },
                ),
                Identifier(
                 Identifier {
                  id: "x",
                  span: Span {
                   start: Position {
                    line: 55,
                    column: 71,
                   },
                   end: Position {
                    line: 55,
                    column: 72,
                   },
                  },
                 },
                ),
               ],
              },
             ),
             else_: IfThenElse(
              IfThenElse {
               predicate: FunctionApplication(
                FunctionApplication {
                 function: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "builtins",
                     span: Span {
                      start: Position {
                       line: 56,
                       column: 13,
                      },
                      end: Position {
                       line: 56,
                       column: 21,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "isList",
                      span: Span {
                       start: Position {
                        line: 56,
                        column: 22,
                       },
                       end: Position {
                        line: 56,
                        column: 28,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                 arguments: [
                  Identifier(
                   Identifier {
                    id: "x",
                    span: Span {
                     start: Position {
                      line: 56,
                      column: 29,
                     },
                     end: Position {
                      line: 56,
                      column: 30,
                     },
                    },
                   },
                  ),
                 ],
                },
               ),
               then: FunctionApplication(
                FunctionApplication {
                 function: Identifier(
                  Identifier {
                   id: "map",
                   span: Span {
                    start: Position {
                     line: 56,
                     column: 36,
                    },
                    end: Position {
                     line: 56,
                     column: 39,
                    },
                   },
                  },
                 ),
                 arguments: [
                  Identifier(
                   Identifier {
                    id: "substSpecial",
                    span: Span {
                     start: Position {
                      line: 56,
                      column: 40,
                     },
                     end: Position {
                      line: 56,
                      column: 52,
                     },
                    },
                   },
                  ),
                  Identifier(
                   Identifier {
                    id: "x",
                    span: Span {
                     start: Position {
                      line: 56,
                      column: 53,
                     },
                     end: Position {
                      line: 56,
                      column: 54,
                     },
                    },
                   },
                  ),
                 ],
                },
               ),
               else_: IfThenElse(
                IfThenElse {
                 predicate: FunctionApplication(
                  FunctionApplication {
                   function: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "lib",
                       span: Span {
                        start: Position {
                         line: 57,
                         column: 13,
                        },
                        end: Position {
                         line: 57,
                         column: 16,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "isFunction",
                        span: Span {
                         start: Position {
                          line: 57,
                          column: 17,
                         },
                         end: Position {
                          line: 57,
                          column: 27,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   arguments: [
                    Identifier(
                     Identifier {
                      id: "x",
                      span: Span {
                       start: Position {
                        line: 57,
                        column: 28,
                       },
                       end: Position {
                        line: 57,
                        column: 29,
                       },
                      },
                     },
                    ),
                   ],
                  },
                 ),
                 then: String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "<function>",
                      span: Span {
                       start: Position {
                        line: 57,
                        column: 36,
                       },
                       end: Position {
                        line: 57,
                        column: 46,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 57,
                     column: 35,
                    },
                    end: Position {
                     line: 57,
                     column: 47,
                    },
                   },
                  },
                 ),
                 else_: Identifier(
                  Identifier {
                   id: "x",
                   span: Span {
                    start: Position {
                     line: 58,
                     column: 10,
                    },
                    end: Position {
                     line: 58,
                     column: 11,
                    },
                   },
                  },
                 ),
                 span: Span {
                  start: Position {
                   line: 57,
                   column: 10,
                  },
                  end: Position {
                   line: 58,
                   column: 11,
                  },
                 },
                },
               ),
               span: Span {
                start: Position {
                 line: 56,
                 column: 10,
                },
                end: Position {
                 line: 58,
                 column: 11,
                },
               },
              },
             ),
             span: Span {
              start: Position {
               line: 55,
               column: 10,
              },
              end: Position {
               line: 58,
               column: 11,
              },
             },
            },
           ),
           span: Span {
            start: Position {
             line: 54,
             column: 5,
            },
            end: Position {
             line: 58,
             column: 11,
            },
           },
          },
         ),
         span: Span {
          start: Position {
           line: 53,
           column: 18,
          },
          end: Position {
           line: 58,
           column: 11,
          },
         },
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "rawOpts",
          span: Span {
           start: Position {
            line: 60,
            column: 3,
           },
           end: Position {
            line: 60,
            column: 10,
           },
          },
         },
        ),
       ],
       to: FunctionApplication(
        FunctionApplication {
         function: PropertyAccess(
          PropertyAccess {
           expression: Identifier(
            Identifier {
             id: "lib",
             span: Span {
              start: Position {
               line: 60,
               column: 13,
              },
              end: Position {
               line: 60,
               column: 16,
              },
             },
            },
           ),
           attribute_path: [
            Raw(
             PartRaw {
              content: "optionAttrSetToDocList",
              span: Span {
               start: Position {
                line: 60,
                column: 17,
               },
               end: Position {
                line: 60,
                column: 39,
               },
              },
             },
            ),
           ],
           default: None,
          },
         ),
         arguments: [
          Identifier(
           Identifier {
            id: "options",
            span: Span {
             start: Position {
              line: 60,
              column: 40,
             },
             end: Position {
              line: 60,
              column: 47,
             },
            },
           },
          ),
         ],
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "transformedOpts",
          span: Span {
           start: Position {
            line: 61,
            column: 3,
           },
           end: Position {
            line: 61,
            column: 18,
           },
          },
         },
        ),
       ],
       to: FunctionApplication(
        FunctionApplication {
         function: Identifier(
          Identifier {
           id: "map",
           span: Span {
            start: Position {
             line: 61,
             column: 21,
            },
            end: Position {
             line: 61,
             column: 24,
            },
           },
          },
         ),
         arguments: [
          Identifier(
           Identifier {
            id: "transformOptions",
            span: Span {
             start: Position {
              line: 61,
              column: 25,
             },
             end: Position {
              line: 61,
              column: 41,
             },
            },
           },
          ),
          Identifier(
           Identifier {
            id: "rawOpts",
            span: Span {
             start: Position {
              line: 61,
              column: 42,
             },
             end: Position {
              line: 61,
              column: 49,
             },
            },
           },
          ),
         ],
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "filteredOpts",
          span: Span {
           start: Position {
            line: 62,
            column: 3,
           },
           end: Position {
            line: 62,
            column: 15,
           },
          },
         },
        ),
       ],
       to: FunctionApplication(
        FunctionApplication {
         function: PropertyAccess(
          PropertyAccess {
           expression: Identifier(
            Identifier {
             id: "lib",
             span: Span {
              start: Position {
               line: 62,
               column: 18,
              },
              end: Position {
               line: 62,
               column: 21,
              },
             },
            },
           ),
           attribute_path: [
            Raw(
             PartRaw {
              content: "filter",
              span: Span {
               start: Position {
                line: 62,
                column: 22,
               },
               end: Position {
                line: 62,
                column: 28,
               },
              },
             },
            ),
           ],
           default: None,
          },
         ),
         arguments: [
          Function(
           Function {
            head: Simple(
             FunctionHeadSimple {
              identifier: "opt",
             },
            ),
            body: BinaryOperation(
             BinaryOperation {
              left: PropertyAccess(
               PropertyAccess {
                expression: Identifier(
                 Identifier {
                  id: "opt",
                  span: Span {
                   start: Position {
                    line: 62,
                    column: 35,
                   },
                   end: Position {
                    line: 62,
                    column: 38,
                   },
                  },
                 },
                ),
                attribute_path: [
                 Raw(
                  PartRaw {
                   content: "visible",
                   span: Span {
                    start: Position {
                     line: 62,
                     column: 39,
                    },
                    end: Position {
                     line: 62,
                     column: 46,
                    },
                   },
                  },
                 ),
                ],
                default: None,
               },
              ),
              operator: LogicalAnd,
              right: UnaryOperation(
               UnaryOperation {
                operator: Not,
                operand: PropertyAccess(
                 PropertyAccess {
                  expression: Identifier(
                   Identifier {
                    id: "opt",
                    span: Span {
                     start: Position {
                      line: 62,
                      column: 51,
                     },
                     end: Position {
                      line: 62,
                      column: 54,
                     },
                    },
                   },
                  ),
                  attribute_path: [
                   Raw(
                    PartRaw {
                     content: "internal",
                     span: Span {
                      start: Position {
                       line: 62,
                       column: 55,
                      },
                      end: Position {
                       line: 62,
                       column: 63,
                      },
                     },
                    },
                   ),
                  ],
                  default: None,
                 },
                ),
                span: Span {
                 start: Position {
                  line: 62,
                  column: 50,
                 },
                 end: Position {
                  line: 62,
                  column: 63,
                 },
                },
               },
              ),
             },
            ),
            span: Span {
             start: Position {
              line: 62,
              column: 30,
             },
             end: Position {
              line: 62,
              column: 63,
             },
            },
           },
          ),
          Identifier(
           Identifier {
            id: "transformedOpts",
            span: Span {
             start: Position {
              line: 62,
              column: 65,
             },
             end: Position {
              line: 62,
              column: 80,
             },
            },
           },
          ),
         ],
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "optionsList",
          span: Span {
           start: Position {
            line: 63,
            column: 3,
           },
           end: Position {
            line: 63,
            column: 14,
           },
          },
         },
        ),
       ],
       to: FunctionApplication(
        FunctionApplication {
         function: PropertyAccess(
          PropertyAccess {
           expression: Identifier(
            Identifier {
             id: "lib",
             span: Span {
              start: Position {
               line: 63,
               column: 17,
              },
              end: Position {
               line: 63,
               column: 20,
              },
             },
            },
           ),
           attribute_path: [
            Raw(
             PartRaw {
              content: "flip",
              span: Span {
               start: Position {
                line: 63,
                column: 21,
               },
               end: Position {
                line: 63,
                column: 25,
               },
              },
             },
            ),
           ],
           default: None,
          },
         ),
         arguments: [
          Identifier(
           Identifier {
            id: "map",
            span: Span {
             start: Position {
              line: 63,
              column: 26,
             },
             end: Position {
              line: 63,
              column: 29,
             },
            },
           },
          ),
          Identifier(
           Identifier {
            id: "filteredOpts",
            span: Span {
             start: Position {
              line: 63,
              column: 30,
             },
             end: Position {
              line: 63,
              column: 42,
             },
            },
           },
          ),
          Function(
           Function {
            head: Simple(
             FunctionHeadSimple {
              identifier: "opt",
             },
            ),
            body: BinaryOperation(
             BinaryOperation {
              left: Identifier(
               Identifier {
                id: "opt",
                span: Span {
                 start: Position {
                  line: 64,
                  column: 10,
                 },
                 end: Position {
                  line: 64,
                  column: 13,
                 },
                },
               },
              ),
              operator: Update,
              right: BinaryOperation(
               BinaryOperation {
                left: FunctionApplication(
                 FunctionApplication {
                  function: PropertyAccess(
                   PropertyAccess {
                    expression: Identifier(
                     Identifier {
                      id: "lib",
                      span: Span {
                       start: Position {
                        line: 65,
                        column: 8,
                       },
                       end: Position {
                        line: 65,
                        column: 11,
                       },
                      },
                     },
                    ),
                    attribute_path: [
                     Raw(
                      PartRaw {
                       content: "optionalAttrs",
                       span: Span {
                        start: Position {
                         line: 65,
                         column: 12,
                        },
                        end: Position {
                         line: 65,
                         column: 25,
                        },
                       },
                      },
                     ),
                    ],
                    default: None,
                   },
                  ),
                  arguments: [
                   HasAttribute(
                    HasAttribute {
                     expression: Identifier(
                      Identifier {
                       id: "opt",
                       span: Span {
                        start: Position {
                         line: 65,
                         column: 27,
                        },
                        end: Position {
                         line: 65,
                         column: 30,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "example",
                        span: Span {
                         start: Position {
                          line: 65,
                          column: 33,
                         },
                         end: Position {
                          line: 65,
                          column: 40,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                   Map(
                    Map {
                     recursive: false,
                     bindings: [
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "example",
                           span: Span {
                            start: Position {
                             line: 65,
                             column: 44,
                            },
                            end: Position {
                             line: 65,
                             column: 51,
                            },
                           },
                          },
                         ),
                        ],
                        to: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "substSpecial",
                            span: Span {
                             start: Position {
                              line: 65,
                              column: 54,
                             },
                             end: Position {
                              line: 65,
                              column: 66,
                             },
                            },
                           },
                          ),
                          arguments: [
                           PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "opt",
                               span: Span {
                                start: Position {
                                 line: 65,
                                 column: 67,
                                },
                                end: Position {
                                 line: 65,
                                 column: 70,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 65,
                                  column: 71,
                                 },
                                 end: Position {
                                  line: 65,
                                  column: 78,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 65,
                       column: 42,
                      },
                      end: Position {
                       line: 65,
                       column: 81,
                      },
                     },
                    },
                   ),
                  ],
                 },
                ),
                operator: Update,
                right: BinaryOperation(
                 BinaryOperation {
                  left: FunctionApplication(
                   FunctionApplication {
                    function: PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "lib",
                        span: Span {
                         start: Position {
                          line: 66,
                          column: 8,
                         },
                         end: Position {
                          line: 66,
                          column: 11,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "optionalAttrs",
                         span: Span {
                          start: Position {
                           line: 66,
                           column: 12,
                          },
                          end: Position {
                           line: 66,
                           column: 25,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                    arguments: [
                     HasAttribute(
                      HasAttribute {
                       expression: Identifier(
                        Identifier {
                         id: "opt",
                         span: Span {
                          start: Position {
                           line: 66,
                           column: 27,
                          },
                          end: Position {
                           line: 66,
                           column: 30,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "default",
                          span: Span {
                           start: Position {
                            line: 66,
                            column: 33,
                           },
                           end: Position {
                            line: 66,
                            column: 40,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                     Map(
                      Map {
                       recursive: false,
                       bindings: [
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "default",
                             span: Span {
                              start: Position {
                               line: 66,
                               column: 44,
                              },
                              end: Position {
                               line: 66,
                               column: 51,
                              },
                             },
                            },
                           ),
                          ],
                          to: FunctionApplication(
                           FunctionApplication {
                            function: Identifier(
                             Identifier {
                              id: "substSpecial",
                              span: Span {
                               start: Position {
                                line: 66,
                                column: 54,
                               },
                               end: Position {
                                line: 66,
                                column: 66,
                               },
                              },
                             },
                            ),
                            arguments: [
                             PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "opt",
                                 span: Span {
                                  start: Position {
                                   line: 66,
                                   column: 67,
                                  },
                                  end: Position {
                                   line: 66,
                                   column: 70,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "default",
                                  span: Span {
                                   start: Position {
                                    line: 66,
                                    column: 71,
                                   },
                                   end: Position {
                                    line: 66,
                                    column: 78,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            ],
                           },
                          ),
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 66,
                         column: 42,
                        },
                        end: Position {
                         line: 66,
                         column: 81,
                        },
                       },
                      },
                     ),
                    ],
                   },
                  ),
                  operator: Update,
                  right: BinaryOperation(
                   BinaryOperation {
                    left: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 67,
                            column: 8,
                           },
                           end: Position {
                            line: 67,
                            column: 11,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "optionalAttrs",
                           span: Span {
                            start: Position {
                             line: 67,
                             column: 12,
                            },
                            end: Position {
                             line: 67,
                             column: 25,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       HasAttribute(
                        HasAttribute {
                         expression: Identifier(
                          Identifier {
                           id: "opt",
                           span: Span {
                            start: Position {
                             line: 67,
                             column: 27,
                            },
                            end: Position {
                             line: 67,
                             column: 30,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "type",
                            span: Span {
                             start: Position {
                              line: 67,
                              column: 33,
                             },
                             end: Position {
                              line: 67,
                              column: 37,
                             },
                            },
                           },
                          ),
                         ],
                        },
                       ),
                       Map(
                        Map {
                         recursive: false,
                         bindings: [
                          KeyValue(
                           BindingKeyValue {
                            from: [
                             Raw(
                              PartRaw {
                               content: "type",
                               span: Span {
                                start: Position {
                                 line: 67,
                                 column: 41,
                                },
                                end: Position {
                                 line: 67,
                                 column: 45,
                                },
                               },
                              },
                             ),
                            ],
                            to: FunctionApplication(
                             FunctionApplication {
                              function: Identifier(
                               Identifier {
                                id: "substSpecial",
                                span: Span {
                                 start: Position {
                                  line: 67,
                                  column: 48,
                                 },
                                 end: Position {
                                  line: 67,
                                  column: 60,
                                 },
                                },
                               },
                              ),
                              arguments: [
                               PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "opt",
                                   span: Span {
                                    start: Position {
                                     line: 67,
                                     column: 61,
                                    },
                                    end: Position {
                                     line: 67,
                                     column: 64,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "type",
                                    span: Span {
                                     start: Position {
                                      line: 67,
                                      column: 65,
                                     },
                                     end: Position {
                                      line: 67,
                                      column: 69,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                              ],
                             },
                            ),
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 67,
                           column: 39,
                          },
                          end: Position {
                           line: 67,
                           column: 72,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                    operator: Update,
                    right: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 68,
                            column: 8,
                           },
                           end: Position {
                            line: 68,
                            column: 11,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "optionalAttrs",
                           span: Span {
                            start: Position {
                             line: 68,
                             column: 12,
                            },
                            end: Position {
                             line: 68,
                             column: 25,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       BinaryOperation(
                        BinaryOperation {
                         left: HasAttribute(
                          HasAttribute {
                           expression: Identifier(
                            Identifier {
                             id: "opt",
                             span: Span {
                              start: Position {
                               line: 68,
                               column: 27,
                              },
                              end: Position {
                               line: 68,
                               column: 30,
                              },
                             },
                            },
                           ),
                           attribute_path: [
                            Raw(
                             PartRaw {
                              content: "relatedPackages",
                              span: Span {
                               start: Position {
                                line: 68,
                                column: 33,
                               },
                               end: Position {
                                line: 68,
                                column: 48,
                               },
                              },
                             },
                            ),
                           ],
                          },
                         ),
                         operator: LogicalAnd,
                         right: BinaryOperation(
                          BinaryOperation {
                           left: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "opt",
                               span: Span {
                                start: Position {
                                 line: 68,
                                 column: 52,
                                },
                                end: Position {
                                 line: 68,
                                 column: 55,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "relatedPackages",
                                span: Span {
                                 start: Position {
                                  line: 68,
                                  column: 56,
                                 },
                                 end: Position {
                                  line: 68,
                                  column: 71,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           operator: NotEqualTo,
                           right: List(
                            List {
                             elements: [],
                             span: Span {
                              start: Position {
                               line: 68,
                               column: 75,
                              },
                              end: Position {
                               line: 68,
                               column: 77,
                              },
                             },
                            },
                           ),
                          },
                         ),
                        },
                       ),
                       Map(
                        Map {
                         recursive: false,
                         bindings: [
                          KeyValue(
                           BindingKeyValue {
                            from: [
                             Raw(
                              PartRaw {
                               content: "relatedPackages",
                               span: Span {
                                start: Position {
                                 line: 68,
                                 column: 81,
                                },
                                end: Position {
                                 line: 68,
                                 column: 96,
                                },
                               },
                              },
                             ),
                            ],
                            to: FunctionApplication(
                             FunctionApplication {
                              function: Identifier(
                               Identifier {
                                id: "genRelatedPackages",
                                span: Span {
                                 start: Position {
                                  line: 68,
                                  column: 99,
                                 },
                                 end: Position {
                                  line: 68,
                                  column: 117,
                                 },
                                },
                               },
                              ),
                              arguments: [
                               PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "opt",
                                   span: Span {
                                    start: Position {
                                     line: 68,
                                     column: 118,
                                    },
                                    end: Position {
                                     line: 68,
                                     column: 121,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "relatedPackages",
                                    span: Span {
                                     start: Position {
                                      line: 68,
                                      column: 122,
                                     },
                                     end: Position {
                                      line: 68,
                                      column: 137,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "opt",
                                   span: Span {
                                    start: Position {
                                     line: 68,
                                     column: 138,
                                    },
                                    end: Position {
                                     line: 68,
                                     column: 141,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "name",
                                    span: Span {
                                     start: Position {
                                      line: 68,
                                      column: 142,
                                     },
                                     end: Position {
                                      line: 68,
                                      column: 146,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                              ],
                             },
                            ),
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 68,
                           column: 79,
                          },
                          end: Position {
                           line: 68,
                           column: 149,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                 },
                ),
               },
              ),
             },
            ),
            span: Span {
             start: Position {
              line: 64,
              column: 5,
             },
             end: Position {
              line: 68,
              column: 149,
             },
            },
           },
          ),
         ],
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "genRelatedPackages",
          span: Span {
           start: Position {
            line: 85,
            column: 3,
           },
           end: Position {
            line: 85,
            column: 21,
           },
          },
         },
        ),
       ],
       to: Function(
        Function {
         head: Simple(
          FunctionHeadSimple {
           identifier: "packages",
          },
         ),
         body: Function(
          Function {
           head: Simple(
            FunctionHeadSimple {
             identifier: "optName",
            },
           ),
           body: LetIn(
            LetIn {
             bindings: [
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "unpack",
                   span: Span {
                    start: Position {
                     line: 87,
                     column: 7,
                    },
                    end: Position {
                     line: 87,
                     column: 13,
                    },
                   },
                  },
                 ),
                ],
                to: Function(
                 Function {
                  head: Simple(
                   FunctionHeadSimple {
                    identifier: "p",
                   },
                  ),
                  body: IfThenElse(
                   IfThenElse {
                    predicate: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 87,
                            column: 22,
                           },
                           end: Position {
                            line: 87,
                            column: 25,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "isString",
                           span: Span {
                            start: Position {
                             line: 87,
                             column: 26,
                            },
                            end: Position {
                             line: 87,
                             column: 34,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       Identifier(
                        Identifier {
                         id: "p",
                         span: Span {
                          start: Position {
                           line: 87,
                           column: 35,
                          },
                          end: Position {
                           line: 87,
                           column: 36,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                    then: Map(
                     Map {
                      recursive: false,
                      bindings: [
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "name",
                            span: Span {
                             start: Position {
                              line: 87,
                              column: 44,
                             },
                             end: Position {
                              line: 87,
                              column: 48,
                             },
                            },
                           },
                          ),
                         ],
                         to: Identifier(
                          Identifier {
                           id: "p",
                           span: Span {
                            start: Position {
                             line: 87,
                             column: 51,
                            },
                            end: Position {
                             line: 87,
                             column: 52,
                            },
                           },
                          },
                         ),
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 87,
                        column: 42,
                       },
                       end: Position {
                        line: 87,
                        column: 55,
                       },
                      },
                     },
                    ),
                    else_: IfThenElse(
                     IfThenElse {
                      predicate: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 88,
                              column: 27,
                             },
                             end: Position {
                              line: 88,
                              column: 30,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "isList",
                             span: Span {
                              start: Position {
                               line: 88,
                               column: 31,
                              },
                              end: Position {
                               line: 88,
                               column: 37,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         Identifier(
                          Identifier {
                           id: "p",
                           span: Span {
                            start: Position {
                             line: 88,
                             column: 38,
                            },
                            end: Position {
                             line: 88,
                             column: 39,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                      then: Map(
                       Map {
                        recursive: false,
                        bindings: [
                         KeyValue(
                          BindingKeyValue {
                           from: [
                            Raw(
                             PartRaw {
                              content: "path",
                              span: Span {
                               start: Position {
                                line: 88,
                                column: 47,
                               },
                               end: Position {
                                line: 88,
                                column: 51,
                               },
                              },
                             },
                            ),
                           ],
                           to: Identifier(
                            Identifier {
                             id: "p",
                             span: Span {
                              start: Position {
                               line: 88,
                               column: 54,
                              },
                              end: Position {
                               line: 88,
                               column: 55,
                              },
                             },
                            },
                           ),
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 88,
                          column: 45,
                         },
                         end: Position {
                          line: 88,
                          column: 58,
                         },
                        },
                       },
                      ),
                      else_: Identifier(
                       Identifier {
                        id: "p",
                        span: Span {
                         start: Position {
                          line: 89,
                          column: 24,
                         },
                         end: Position {
                          line: 89,
                          column: 25,
                         },
                        },
                       },
                      ),
                      span: Span {
                       start: Position {
                        line: 88,
                        column: 24,
                       },
                       end: Position {
                        line: 89,
                        column: 25,
                       },
                      },
                     },
                    ),
                    span: Span {
                     start: Position {
                      line: 87,
                      column: 19,
                     },
                     end: Position {
                      line: 89,
                      column: 25,
                     },
                    },
                   },
                  ),
                  span: Span {
                   start: Position {
                    line: 87,
                    column: 16,
                   },
                   end: Position {
                    line: 89,
                    column: 25,
                   },
                  },
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "describe",
                   span: Span {
                    start: Position {
                     line: 90,
                     column: 7,
                    },
                    end: Position {
                     line: 90,
                     column: 15,
                    },
                   },
                  },
                 ),
                ],
                to: Function(
                 Function {
                  head: Simple(
                   FunctionHeadSimple {
                    identifier: "args",
                   },
                  ),
                  body: LetIn(
                   LetIn {
                    bindings: [
                     KeyValue(
                      BindingKeyValue {
                       from: [
                        Raw(
                         PartRaw {
                          content: "title",
                          span: Span {
                           start: Position {
                            line: 92,
                            column: 11,
                           },
                           end: Position {
                            line: 92,
                            column: 16,
                           },
                          },
                         },
                        ),
                       ],
                       to: PropertyAccess(
                        PropertyAccess {
                         expression: Identifier(
                          Identifier {
                           id: "args",
                           span: Span {
                            start: Position {
                             line: 92,
                             column: 19,
                            },
                            end: Position {
                             line: 92,
                             column: 23,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "title",
                            span: Span {
                             start: Position {
                              line: 92,
                              column: 24,
                             },
                             end: Position {
                              line: 92,
                              column: 29,
                             },
                            },
                           },
                          ),
                         ],
                         default: Some(
                          Identifier(
                           Identifier {
                            id: "null",
                            span: Span {
                             start: Position {
                              line: 92,
                              column: 33,
                             },
                             end: Position {
                              line: 92,
                              column: 37,
                             },
                            },
                           },
                          ),
                         ),
                        },
                       ),
                      },
                     ),
                     KeyValue(
                      BindingKeyValue {
                       from: [
                        Raw(
                         PartRaw {
                          content: "name",
                          span: Span {
                           start: Position {
                            line: 93,
                            column: 11,
                           },
                           end: Position {
                            line: 93,
                            column: 15,
                           },
                          },
                         },
                        ),
                       ],
                       to: PropertyAccess(
                        PropertyAccess {
                         expression: Identifier(
                          Identifier {
                           id: "args",
                           span: Span {
                            start: Position {
                             line: 93,
                             column: 18,
                            },
                            end: Position {
                             line: 93,
                             column: 22,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "name",
                            span: Span {
                             start: Position {
                              line: 93,
                              column: 23,
                             },
                             end: Position {
                              line: 93,
                              column: 27,
                             },
                            },
                           },
                          ),
                         ],
                         default: Some(
                          FunctionApplication(
                           FunctionApplication {
                            function: PropertyAccess(
                             PropertyAccess {
                              expression: Identifier(
                               Identifier {
                                id: "lib",
                                span: Span {
                                 start: Position {
                                  line: 93,
                                  column: 32,
                                 },
                                 end: Position {
                                  line: 93,
                                  column: 35,
                                 },
                                },
                               },
                              ),
                              attribute_path: [
                               Raw(
                                PartRaw {
                                 content: "concatStringsSep",
                                 span: Span {
                                  start: Position {
                                   line: 93,
                                   column: 36,
                                  },
                                  end: Position {
                                   line: 93,
                                   column: 52,
                                  },
                                 },
                                },
                               ),
                              ],
                              default: None,
                             },
                            ),
                            arguments: [
                             String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: ".",
                                  span: Span {
                                   start: Position {
                                    line: 93,
                                    column: 54,
                                   },
                                   end: Position {
                                    line: 93,
                                    column: 55,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 93,
                                 column: 53,
                                },
                                end: Position {
                                 line: 93,
                                 column: 56,
                                },
                               },
                              },
                             ),
                             PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "args",
                                 span: Span {
                                  start: Position {
                                   line: 93,
                                   column: 57,
                                  },
                                  end: Position {
                                   line: 93,
                                   column: 61,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "path",
                                  span: Span {
                                   start: Position {
                                    line: 93,
                                    column: 62,
                                   },
                                   end: Position {
                                    line: 93,
                                    column: 66,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            ],
                           },
                          ),
                         ),
                        },
                       ),
                      },
                     ),
                    ],
                    target: IndentedString(
                     IndentedString {
                      parts: [
                       Raw(
                        PartRaw {
                         content: "<listitem>\n  <para>\n    <link xlink:href=\"https://search.nixos.org/packages?show=",
                         span: Span {
                          start: Position {
                           line: 95,
                           column: 1,
                          },
                          end: Position {
                           line: 97,
                           column: 72,
                          },
                         },
                        },
                       ),
                       Interpolation(
                        PartInterpolation {
                         expression: Identifier(
                          Identifier {
                           id: "name",
                           span: Span {
                            start: Position {
                             line: 97,
                             column: 74,
                            },
                            end: Position {
                             line: 97,
                             column: 78,
                            },
                           },
                          },
                         ),
                        },
                       ),
                       Raw(
                        PartRaw {
                         content: "&amp;sort=relevance&amp;query=",
                         span: Span {
                          start: Position {
                           line: 95,
                           column: 1,
                          },
                          end: Position {
                           line: 97,
                           column: 109,
                          },
                         },
                        },
                       ),
                       Interpolation(
                        PartInterpolation {
                         expression: Identifier(
                          Identifier {
                           id: "name",
                           span: Span {
                            start: Position {
                             line: 97,
                             column: 111,
                            },
                            end: Position {
                             line: 97,
                             column: 115,
                            },
                           },
                          },
                         ),
                        },
                       ),
                       Raw(
                        PartRaw {
                         content: "\">\n      <literal>",
                         span: Span {
                          start: Position {
                           line: 95,
                           column: 1,
                          },
                          end: Position {
                           line: 98,
                           column: 26,
                          },
                         },
                        },
                       ),
                       Interpolation(
                        PartInterpolation {
                         expression: FunctionApplication(
                          FunctionApplication {
                           function: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "lib",
                               span: Span {
                                start: Position {
                                 line: 98,
                                 column: 28,
                                },
                                end: Position {
                                 line: 98,
                                 column: 31,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "optionalString",
                                span: Span {
                                 start: Position {
                                  line: 98,
                                  column: 32,
                                 },
                                 end: Position {
                                  line: 98,
                                  column: 46,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           arguments: [
                            BinaryOperation(
                             BinaryOperation {
                              left: Identifier(
                               Identifier {
                                id: "title",
                                span: Span {
                                 start: Position {
                                  line: 98,
                                  column: 48,
                                 },
                                 end: Position {
                                  line: 98,
                                  column: 53,
                                 },
                                },
                               },
                              ),
                              operator: NotEqualTo,
                              right: Identifier(
                               Identifier {
                                id: "null",
                                span: Span {
                                 start: Position {
                                  line: 98,
                                  column: 57,
                                 },
                                 end: Position {
                                  line: 98,
                                  column: 61,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                            String(
                             String_ {
                              parts: [
                               Interpolation(
                                PartInterpolation {
                                 expression: Identifier(
                                  Identifier {
                                   id: "title",
                                   span: Span {
                                    start: Position {
                                     line: 98,
                                     column: 66,
                                    },
                                    end: Position {
                                     line: 98,
                                     column: 71,
                                    },
                                   },
                                  },
                                 ),
                                },
                               ),
                               Raw(
                                PartRaw {
                                 content: " aka ",
                                 span: Span {
                                  start: Position {
                                   line: 98,
                                   column: 64,
                                  },
                                  end: Position {
                                   line: 98,
                                   column: 77,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 98,
                                column: 63,
                               },
                               end: Position {
                                line: 98,
                                column: 78,
                               },
                              },
                             },
                            ),
                           ],
                          },
                         ),
                        },
                       ),
                       Raw(
                        PartRaw {
                         content: "pkgs.",
                         span: Span {
                          start: Position {
                           line: 95,
                           column: 1,
                          },
                          end: Position {
                           line: 98,
                           column: 84,
                          },
                         },
                        },
                       ),
                       Interpolation(
                        PartInterpolation {
                         expression: Identifier(
                          Identifier {
                           id: "name",
                           span: Span {
                            start: Position {
                             line: 98,
                             column: 86,
                            },
                            end: Position {
                             line: 98,
                             column: 90,
                            },
                           },
                          },
                         ),
                        },
                       ),
                       Raw(
                        PartRaw {
                         content: "</literal>\n    </link>\n  </para>\n  ",
                         span: Span {
                          start: Position {
                           line: 95,
                           column: 1,
                          },
                          end: Position {
                           line: 101,
                           column: 13,
                          },
                         },
                        },
                       ),
                       Interpolation(
                        PartInterpolation {
                         expression: FunctionApplication(
                          FunctionApplication {
                           function: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "lib",
                               span: Span {
                                start: Position {
                                 line: 101,
                                 column: 15,
                                },
                                end: Position {
                                 line: 101,
                                 column: 18,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "optionalString",
                                span: Span {
                                 start: Position {
                                  line: 101,
                                  column: 19,
                                 },
                                 end: Position {
                                  line: 101,
                                  column: 33,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           arguments: [
                            HasAttribute(
                             HasAttribute {
                              expression: Identifier(
                               Identifier {
                                id: "args",
                                span: Span {
                                 start: Position {
                                  line: 101,
                                  column: 35,
                                 },
                                 end: Position {
                                  line: 101,
                                  column: 39,
                                 },
                                },
                               },
                              ),
                              attribute_path: [
                               Raw(
                                PartRaw {
                                 content: "comment",
                                 span: Span {
                                  start: Position {
                                   line: 101,
                                   column: 42,
                                  },
                                  end: Position {
                                   line: 101,
                                   column: 49,
                                  },
                                 },
                                },
                               ),
                              ],
                             },
                            ),
                            String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "<para>",
                                 span: Span {
                                  start: Position {
                                   line: 101,
                                   column: 52,
                                  },
                                  end: Position {
                                   line: 101,
                                   column: 73,
                                  },
                                 },
                                },
                               ),
                               Interpolation(
                                PartInterpolation {
                                 expression: PropertyAccess(
                                  PropertyAccess {
                                   expression: Identifier(
                                    Identifier {
                                     id: "args",
                                     span: Span {
                                      start: Position {
                                       line: 101,
                                       column: 60,
                                      },
                                      end: Position {
                                       line: 101,
                                       column: 64,
                                      },
                                     },
                                    },
                                   ),
                                   attribute_path: [
                                    Raw(
                                     PartRaw {
                                      content: "comment",
                                      span: Span {
                                       start: Position {
                                        line: 101,
                                        column: 65,
                                       },
                                       end: Position {
                                        line: 101,
                                        column: 72,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                   default: None,
                                  },
                                 ),
                                },
                               ),
                               Raw(
                                PartRaw {
                                 content: "</para>",
                                 span: Span {
                                  start: Position {
                                   line: 101,
                                   column: 52,
                                  },
                                  end: Position {
                                   line: 101,
                                   column: 80,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 101,
                                column: 51,
                               },
                               end: Position {
                                line: 101,
                                column: 81,
                               },
                              },
                             },
                            ),
                           ],
                          },
                         ),
                        },
                       ),
                       Raw(
                        PartRaw {
                         content: "\n</listitem>\n",
                         span: Span {
                          start: Position {
                           line: 95,
                           column: 1,
                          },
                          end: Position {
                           line: 103,
                           column: 9,
                          },
                         },
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 94,
                        column: 12,
                       },
                       end: Position {
                        line: 103,
                        column: 11,
                       },
                      },
                     },
                    ),
                    span: Span {
                     start: Position {
                      line: 91,
                      column: 9,
                     },
                     end: Position {
                      line: 103,
                      column: 11,
                     },
                    },
                   },
                  ),
                  span: Span {
                   start: Position {
                    line: 90,
                    column: 18,
                   },
                   end: Position {
                    line: 103,
                    column: 11,
                   },
                  },
                 },
                ),
               },
              ),
             ],
             target: String(
              String_ {
               parts: [
                Raw(
                 PartRaw {
                  content: "<itemizedlist>",
                  span: Span {
                   start: Position {
                    line: 104,
                    column: 9,
                   },
                   end: Position {
                    line: 104,
                    column: 91,
                   },
                  },
                 },
                ),
                Interpolation(
                 PartInterpolation {
                  expression: FunctionApplication(
                   FunctionApplication {
                    function: PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "lib",
                        span: Span {
                         start: Position {
                          line: 104,
                          column: 25,
                         },
                         end: Position {
                          line: 104,
                          column: 28,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "concatStringsSep",
                         span: Span {
                          start: Position {
                           line: 104,
                           column: 29,
                          },
                          end: Position {
                           line: 104,
                           column: 45,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                    arguments: [
                     String(
                      String_ {
                       parts: [
                        Raw(
                         PartRaw {
                          content: "\n",
                          span: Span {
                           start: Position {
                            line: 104,
                            column: 47,
                           },
                           end: Position {
                            line: 104,
                            column: 49,
                           },
                          },
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 104,
                         column: 46,
                        },
                        end: Position {
                         line: 104,
                         column: 50,
                        },
                       },
                      },
                     ),
                     FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "map",
                         span: Span {
                          start: Position {
                           line: 104,
                           column: 52,
                          },
                          end: Position {
                           line: 104,
                           column: 55,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Function(
                         Function {
                          head: Simple(
                           FunctionHeadSimple {
                            identifier: "p",
                           },
                          ),
                          body: FunctionApplication(
                           FunctionApplication {
                            function: Identifier(
                             Identifier {
                              id: "describe",
                              span: Span {
                               start: Position {
                                line: 104,
                                column: 60,
                               },
                               end: Position {
                                line: 104,
                                column: 68,
                               },
                              },
                             },
                            ),
                            arguments: [
                             FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "unpack",
                                 span: Span {
                                  start: Position {
                                   line: 104,
                                   column: 70,
                                  },
                                  end: Position {
                                   line: 104,
                                   column: 76,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                Identifier(
                                 Identifier {
                                  id: "p",
                                  span: Span {
                                   start: Position {
                                    line: 104,
                                    column: 77,
                                   },
                                   end: Position {
                                    line: 104,
                                    column: 78,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            ],
                           },
                          ),
                          span: Span {
                           start: Position {
                            line: 104,
                            column: 57,
                           },
                           end: Position {
                            line: 104,
                            column: 79,
                           },
                          },
                         },
                        ),
                        Identifier(
                         Identifier {
                          id: "packages",
                          span: Span {
                           start: Position {
                            line: 104,
                            column: 81,
                           },
                           end: Position {
                            line: 104,
                            column: 89,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    ],
                   },
                  ),
                 },
                ),
                Raw(
                 PartRaw {
                  content: "</itemizedlist>",
                  span: Span {
                   start: Position {
                    line: 104,
                    column: 9,
                   },
                   end: Position {
                    line: 104,
                    column: 106,
                   },
                  },
                 },
                ),
               ],
               span: Span {
                start: Position {
                 line: 104,
                 column: 8,
                },
                end: Position {
                 line: 104,
                 column: 107,
                },
               },
              },
             ),
             span: Span {
              start: Position {
               line: 86,
               column: 5,
              },
              end: Position {
               line: 104,
               column: 107,
              },
             },
            },
           ),
           span: Span {
            start: Position {
             line: 85,
             column: 34,
            },
            end: Position {
             line: 104,
             column: 107,
            },
           },
          },
         ),
         span: Span {
          start: Position {
           line: 85,
           column: 24,
          },
          end: Position {
           line: 104,
           column: 107,
          },
         },
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "optionsNix",
          span: Span {
           start: Position {
            line: 106,
            column: 3,
           },
           end: Position {
            line: 106,
            column: 13,
           },
          },
         },
        ),
       ],
       to: FunctionApplication(
        FunctionApplication {
         function: PropertyAccess(
          PropertyAccess {
           expression: Identifier(
            Identifier {
             id: "builtins",
             span: Span {
              start: Position {
               line: 106,
               column: 16,
              },
              end: Position {
               line: 106,
               column: 24,
              },
             },
            },
           ),
           attribute_path: [
            Raw(
             PartRaw {
              content: "listToAttrs",
              span: Span {
               start: Position {
                line: 106,
                column: 25,
               },
               end: Position {
                line: 106,
                column: 36,
               },
              },
             },
            ),
           ],
           default: None,
          },
         ),
         arguments: [
          FunctionApplication(
           FunctionApplication {
            function: Identifier(
             Identifier {
              id: "map",
              span: Span {
               start: Position {
                line: 106,
                column: 38,
               },
               end: Position {
                line: 106,
                column: 41,
               },
              },
             },
            ),
            arguments: [
             Function(
              Function {
               head: Simple(
                FunctionHeadSimple {
                 identifier: "o",
                },
               ),
               body: Map(
                Map {
                 recursive: false,
                 bindings: [
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "name",
                       span: Span {
                        start: Position {
                         line: 106,
                         column: 48,
                        },
                        end: Position {
                         line: 106,
                         column: 52,
                        },
                       },
                      },
                     ),
                    ],
                    to: PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "o",
                        span: Span {
                         start: Position {
                          line: 106,
                          column: 55,
                         },
                         end: Position {
                          line: 106,
                          column: 56,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "name",
                         span: Span {
                          start: Position {
                           line: 106,
                           column: 57,
                          },
                          end: Position {
                           line: 106,
                           column: 61,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "value",
                       span: Span {
                        start: Position {
                         line: 106,
                         column: 63,
                        },
                        end: Position {
                         line: 106,
                         column: 68,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: Identifier(
                       Identifier {
                        id: "removeAttrs",
                        span: Span {
                         start: Position {
                          line: 106,
                          column: 71,
                         },
                         end: Position {
                          line: 106,
                          column: 82,
                         },
                        },
                       },
                      ),
                      arguments: [
                       Identifier(
                        Identifier {
                         id: "o",
                         span: Span {
                          start: Position {
                           line: 106,
                           column: 83,
                          },
                          end: Position {
                           line: 106,
                           column: 84,
                          },
                         },
                        },
                       ),
                       List(
                        List {
                         elements: [
                          String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "name",
                               span: Span {
                                start: Position {
                                 line: 106,
                                 column: 87,
                                },
                                end: Position {
                                 line: 106,
                                 column: 91,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 106,
                              column: 86,
                             },
                             end: Position {
                              line: 106,
                              column: 92,
                             },
                            },
                           },
                          ),
                          String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "visible",
                               span: Span {
                                start: Position {
                                 line: 106,
                                 column: 94,
                                },
                                end: Position {
                                 line: 106,
                                 column: 101,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 106,
                              column: 93,
                             },
                             end: Position {
                              line: 106,
                              column: 102,
                             },
                            },
                           },
                          ),
                          String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "internal",
                               span: Span {
                                start: Position {
                                 line: 106,
                                 column: 104,
                                },
                                end: Position {
                                 line: 106,
                                 column: 112,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 106,
                              column: 103,
                             },
                             end: Position {
                              line: 106,
                              column: 113,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 106,
                           column: 85,
                          },
                          end: Position {
                           line: 106,
                           column: 114,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 106,
                   column: 46,
                  },
                  end: Position {
                   line: 106,
                   column: 117,
                  },
                 },
                },
               ),
               span: Span {
                start: Position {
                 line: 106,
                 column: 43,
                },
                end: Position {
                 line: 106,
                 column: 117,
                },
               },
              },
             ),
             Identifier(
              Identifier {
               id: "optionsList",
               span: Span {
                start: Position {
                 line: 106,
                 column: 119,
                },
                end: Position {
                 line: 106,
                 column: 130,
                },
               },
              },
             ),
            ],
           },
          ),
         ],
        },
       ),
      },
     ),
    ],
    target: Map(
     Map {
      recursive: true,
      bindings: [
       Inherit(
        BindingInherit {
         from: None,
         attributes: [
          Raw(
           PartRaw {
            content: "optionsNix",
            span: Span {
             start: Position {
              line: 109,
              column: 11,
             },
             end: Position {
              line: 109,
              column: 21,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 108,
           column: 9,
          },
          end: Position {
           line: 109,
           column: 22,
          },
         },
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "optionsAsciiDoc",
            span: Span {
             start: Position {
              line: 111,
              column: 3,
             },
             end: Position {
              line: 111,
              column: 18,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: PropertyAccess(
            PropertyAccess {
             expression: Identifier(
              Identifier {
               id: "pkgs",
               span: Span {
                start: Position {
                 line: 111,
                 column: 21,
                },
                end: Position {
                 line: 111,
                 column: 25,
                },
               },
              },
             ),
             attribute_path: [
              Raw(
               PartRaw {
                content: "runCommand",
                span: Span {
                 start: Position {
                  line: 111,
                  column: 26,
                 },
                 end: Position {
                  line: 111,
                  column: 36,
                 },
                },
               },
              ),
             ],
             default: None,
            },
           ),
           arguments: [
            String(
             String_ {
              parts: [
               Raw(
                PartRaw {
                 content: "options.adoc",
                 span: Span {
                  start: Position {
                   line: 111,
                   column: 38,
                  },
                  end: Position {
                   line: 111,
                   column: 50,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 111,
                column: 37,
               },
               end: Position {
                line: 111,
                column: 51,
               },
              },
             },
            ),
            Map(
             Map {
              recursive: false,
              bindings: [],
              span: Span {
               start: Position {
                line: 111,
                column: 52,
               },
               end: Position {
                line: 111,
                column: 54,
               },
              },
             },
            ),
            IndentedString(
             IndentedString {
              parts: [
               Raw(
                PartRaw {
                 content: "",
                 span: Span {
                  start: Position {
                   line: 112,
                   column: 1,
                  },
                  end: Position {
                   line: 112,
                   column: 5,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 112,
                       column: 7,
                      },
                      end: Position {
                       line: 112,
                       column: 11,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "python3Minimal",
                      span: Span {
                       start: Position {
                        line: 112,
                        column: 12,
                       },
                       end: Position {
                        line: 112,
                        column: 26,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/python ",
                 span: Span {
                  start: Position {
                   line: 112,
                   column: 1,
                  },
                  end: Position {
                   line: 112,
                   column: 39,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Path(
                  Path {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "./generateAsciiDoc.py",
                      span: Span {
                       start: Position {
                        line: 112,
                        column: 41,
                       },
                       end: Position {
                        line: 112,
                        column: 62,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 112,
                     column: 41,
                    },
                    end: Position {
                     line: 112,
                     column: 62,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " \\\n  < ",
                 span: Span {
                  start: Position {
                   line: 112,
                   column: 1,
                  },
                  end: Position {
                   line: 113,
                   column: 9,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "optionsJSON",
                   span: Span {
                    start: Position {
                     line: 113,
                     column: 11,
                    },
                    end: Position {
                     line: 113,
                     column: 22,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/share/doc/nixos/options.json \\\n  > $out\n",
                 span: Span {
                  start: Position {
                   line: 112,
                   column: 1,
                  },
                  end: Position {
                   line: 115,
                   column: 3,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 111,
                column: 55,
               },
               end: Position {
                line: 115,
                column: 5,
               },
              },
             },
            ),
           ],
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "optionsCommonMark",
            span: Span {
             start: Position {
              line: 117,
              column: 3,
             },
             end: Position {
              line: 117,
              column: 20,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: PropertyAccess(
            PropertyAccess {
             expression: Identifier(
              Identifier {
               id: "pkgs",
               span: Span {
                start: Position {
                 line: 117,
                 column: 23,
                },
                end: Position {
                 line: 117,
                 column: 27,
                },
               },
              },
             ),
             attribute_path: [
              Raw(
               PartRaw {
                content: "runCommand",
                span: Span {
                 start: Position {
                  line: 117,
                  column: 28,
                 },
                 end: Position {
                  line: 117,
                  column: 38,
                 },
                },
               },
              ),
             ],
             default: None,
            },
           ),
           arguments: [
            String(
             String_ {
              parts: [
               Raw(
                PartRaw {
                 content: "options.md",
                 span: Span {
                  start: Position {
                   line: 117,
                   column: 40,
                  },
                  end: Position {
                   line: 117,
                   column: 50,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 117,
                column: 39,
               },
               end: Position {
                line: 117,
                column: 51,
               },
              },
             },
            ),
            Map(
             Map {
              recursive: false,
              bindings: [],
              span: Span {
               start: Position {
                line: 117,
                column: 52,
               },
               end: Position {
                line: 117,
                column: 54,
               },
              },
             },
            ),
            IndentedString(
             IndentedString {
              parts: [
               Raw(
                PartRaw {
                 content: "",
                 span: Span {
                  start: Position {
                   line: 118,
                   column: 1,
                  },
                  end: Position {
                   line: 118,
                   column: 5,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 118,
                       column: 7,
                      },
                      end: Position {
                       line: 118,
                       column: 11,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "python3Minimal",
                      span: Span {
                       start: Position {
                        line: 118,
                        column: 12,
                       },
                       end: Position {
                        line: 118,
                        column: 26,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/python ",
                 span: Span {
                  start: Position {
                   line: 118,
                   column: 1,
                  },
                  end: Position {
                   line: 118,
                   column: 39,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Path(
                  Path {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "./generateCommonMark.py",
                      span: Span {
                       start: Position {
                        line: 118,
                        column: 41,
                       },
                       end: Position {
                        line: 118,
                        column: 64,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 118,
                     column: 41,
                    },
                    end: Position {
                     line: 118,
                     column: 64,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " \\\n  < ",
                 span: Span {
                  start: Position {
                   line: 118,
                   column: 1,
                  },
                  end: Position {
                   line: 119,
                   column: 9,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "optionsJSON",
                   span: Span {
                    start: Position {
                     line: 119,
                     column: 11,
                    },
                    end: Position {
                     line: 119,
                     column: 22,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/share/doc/nixos/options.json \\\n  > $out\n",
                 span: Span {
                  start: Position {
                   line: 118,
                   column: 1,
                  },
                  end: Position {
                   line: 121,
                   column: 3,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 117,
                column: 55,
               },
               end: Position {
                line: 121,
                column: 5,
               },
              },
             },
            ),
           ],
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "optionsJSON",
            span: Span {
             start: Position {
              line: 123,
              column: 3,
             },
             end: Position {
              line: 123,
              column: 14,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: PropertyAccess(
            PropertyAccess {
             expression: Identifier(
              Identifier {
               id: "pkgs",
               span: Span {
                start: Position {
                 line: 123,
                 column: 17,
                },
                end: Position {
                 line: 123,
                 column: 21,
                },
               },
              },
             ),
             attribute_path: [
              Raw(
               PartRaw {
                content: "runCommand",
                span: Span {
                 start: Position {
                  line: 123,
                  column: 22,
                 },
                 end: Position {
                  line: 123,
                  column: 32,
                 },
                },
               },
              ),
             ],
             default: None,
            },
           ),
           arguments: [
            String(
             String_ {
              parts: [
               Raw(
                PartRaw {
                 content: "options.json",
                 span: Span {
                  start: Position {
                   line: 123,
                   column: 34,
                  },
                  end: Position {
                   line: 123,
                   column: 46,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 123,
                column: 33,
               },
               end: Position {
                line: 123,
                column: 47,
               },
              },
             },
            ),
            Map(
             Map {
              recursive: false,
              bindings: [
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "meta",
                    span: Span {
                     start: Position {
                      line: 124,
                      column: 7,
                     },
                     end: Position {
                      line: 124,
                      column: 11,
                     },
                    },
                   },
                  ),
                  Raw(
                   PartRaw {
                    content: "description",
                    span: Span {
                     start: Position {
                      line: 124,
                      column: 12,
                     },
                     end: Position {
                      line: 124,
                      column: 23,
                     },
                    },
                   },
                  ),
                 ],
                 to: String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "List of NixOS options in JSON format",
                      span: Span {
                       start: Position {
                        line: 124,
                        column: 27,
                       },
                       end: Position {
                        line: 124,
                        column: 63,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 124,
                     column: 26,
                    },
                    end: Position {
                     line: 124,
                     column: 64,
                    },
                   },
                  },
                 ),
                },
               ),
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "nativeBuildInputs",
                    span: Span {
                     start: Position {
                      line: 125,
                      column: 7,
                     },
                     end: Position {
                      line: 125,
                      column: 24,
                     },
                    },
                   },
                  ),
                 ],
                 to: List(
                  List {
                   elements: [
                    PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "pkgs",
                        span: Span {
                         start: Position {
                          line: 126,
                          column: 9,
                         },
                         end: Position {
                          line: 126,
                          column: 13,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "brotli",
                         span: Span {
                          start: Position {
                           line: 126,
                           column: 14,
                          },
                          end: Position {
                           line: 126,
                           column: 20,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                    LetIn(
                     LetIn {
                      bindings: [
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "python",
                            span: Span {
                             start: Position {
                              line: 131,
                              column: 11,
                             },
                             end: Position {
                              line: 131,
                              column: 17,
                             },
                            },
                           },
                          ),
                         ],
                         to: IfThenElse(
                          IfThenElse {
                           predicate: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "pkgs",
                               span: Span {
                                start: Position {
                                 line: 131,
                                 column: 23,
                                },
                                end: Position {
                                 line: 131,
                                 column: 27,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "stdenv",
                                span: Span {
                                 start: Position {
                                  line: 131,
                                  column: 28,
                                 },
                                 end: Position {
                                  line: 131,
                                  column: 34,
                                 },
                                },
                               },
                              ),
                              Raw(
                               PartRaw {
                                content: "isDarwin",
                                span: Span {
                                 start: Position {
                                  line: 131,
                                  column: 35,
                                 },
                                 end: Position {
                                  line: 131,
                                  column: 43,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           then: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "pkgs",
                               span: Span {
                                start: Position {
                                 line: 131,
                                 column: 49,
                                },
                                end: Position {
                                 line: 131,
                                 column: 53,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "python3",
                                span: Span {
                                 start: Position {
                                  line: 131,
                                  column: 54,
                                 },
                                 end: Position {
                                  line: 131,
                                  column: 61,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           else_: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "pkgs",
                               span: Span {
                                start: Position {
                                 line: 131,
                                 column: 67,
                                },
                                end: Position {
                                 line: 131,
                                 column: 71,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "python3Minimal",
                                span: Span {
                                 start: Position {
                                  line: 131,
                                  column: 72,
                                 },
                                 end: Position {
                                  line: 131,
                                  column: 86,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           span: Span {
                            start: Position {
                             line: 131,
                             column: 20,
                            },
                            end: Position {
                             line: 131,
                             column: 86,
                            },
                           },
                          },
                         ),
                        },
                       ),
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "self",
                            span: Span {
                             start: Position {
                              line: 132,
                              column: 11,
                             },
                             end: Position {
                              line: 132,
                              column: 15,
                             },
                            },
                           },
                          ),
                         ],
                         to: FunctionApplication(
                          FunctionApplication {
                           function: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "python",
                               span: Span {
                                start: Position {
                                 line: 132,
                                 column: 19,
                                },
                                end: Position {
                                 line: 132,
                                 column: 25,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "override",
                                span: Span {
                                 start: Position {
                                  line: 132,
                                  column: 26,
                                 },
                                 end: Position {
                                  line: 132,
                                  column: 34,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           arguments: [
                            Map(
                             Map {
                              recursive: false,
                              bindings: [
                               Inherit(
                                BindingInherit {
                                 from: None,
                                 attributes: [
                                  Raw(
                                   PartRaw {
                                    content: "self",
                                    span: Span {
                                     start: Position {
                                      line: 133,
                                      column: 21,
                                     },
                                     end: Position {
                                      line: 133,
                                      column: 25,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 span: Span {
                                  start: Position {
                                   line: 132,
                                   column: 36,
                                  },
                                  end: Position {
                                   line: 133,
                                   column: 26,
                                  },
                                 },
                                },
                               ),
                               KeyValue(
                                BindingKeyValue {
                                 from: [
                                  Raw(
                                   PartRaw {
                                    content: "includeSiteCustomize",
                                    span: Span {
                                     start: Position {
                                      line: 134,
                                      column: 13,
                                     },
                                     end: Position {
                                      line: 134,
                                      column: 33,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 to: Identifier(
                                  Identifier {
                                   id: "true",
                                   span: Span {
                                    start: Position {
                                     line: 134,
                                     column: 36,
                                    },
                                    end: Position {
                                     line: 134,
                                     column: 40,
                                    },
                                   },
                                  },
                                 ),
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 132,
                                column: 35,
                               },
                               end: Position {
                                line: 135,
                                column: 13,
                               },
                              },
                             },
                            ),
                           ],
                          },
                         ),
                        },
                       ),
                      ],
                      target: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "self",
                            span: Span {
                             start: Position {
                              line: 136,
                              column: 13,
                             },
                             end: Position {
                              line: 136,
                              column: 17,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "withPackages",
                             span: Span {
                              start: Position {
                               line: 136,
                               column: 18,
                              },
                              end: Position {
                               line: 136,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         Function(
                          Function {
                           head: Simple(
                            FunctionHeadSimple {
                             identifier: "p",
                            },
                           ),
                           body: List(
                            List {
                             elements: [
                              PropertyAccess(
                               PropertyAccess {
                                expression: Identifier(
                                 Identifier {
                                  id: "p",
                                  span: Span {
                                   start: Position {
                                    line: 136,
                                    column: 37,
                                   },
                                   end: Position {
                                    line: 136,
                                    column: 38,
                                   },
                                  },
                                 },
                                ),
                                attribute_path: [
                                 Raw(
                                  PartRaw {
                                   content: "mistune",
                                   span: Span {
                                    start: Position {
                                     line: 136,
                                     column: 39,
                                    },
                                    end: Position {
                                     line: 136,
                                     column: 46,
                                    },
                                   },
                                  },
                                 ),
                                ],
                                default: None,
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 136,
                               column: 35,
                              },
                              end: Position {
                               line: 136,
                               column: 48,
                              },
                             },
                            },
                           ),
                           span: Span {
                            start: Position {
                             line: 136,
                             column: 32,
                            },
                            end: Position {
                             line: 136,
                             column: 48,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                      span: Span {
                       start: Position {
                        line: 127,
                        column: 10,
                       },
                       end: Position {
                        line: 136,
                        column: 49,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 125,
                     column: 27,
                    },
                    end: Position {
                     line: 137,
                     column: 8,
                    },
                   },
                  },
                 ),
                },
               ),
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "options",
                    span: Span {
                     start: Position {
                      line: 138,
                      column: 7,
                     },
                     end: Position {
                      line: 138,
                      column: 14,
                     },
                    },
                   },
                  ),
                 ],
                 to: FunctionApplication(
                  FunctionApplication {
                   function: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "builtins",
                       span: Span {
                        start: Position {
                         line: 138,
                         column: 17,
                        },
                        end: Position {
                         line: 138,
                         column: 25,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "toFile",
                        span: Span {
                         start: Position {
                          line: 138,
                          column: 26,
                         },
                         end: Position {
                          line: 138,
                          column: 32,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   arguments: [
                    String(
                     String_ {
                      parts: [
                       Raw(
                        PartRaw {
                         content: "options.json",
                         span: Span {
                          start: Position {
                           line: 138,
                           column: 34,
                          },
                          end: Position {
                           line: 138,
                           column: 46,
                          },
                         },
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 138,
                        column: 33,
                       },
                       end: Position {
                        line: 138,
                        column: 47,
                       },
                      },
                     },
                    ),
                    FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "builtins",
                          span: Span {
                           start: Position {
                            line: 139,
                            column: 10,
                           },
                           end: Position {
                            line: 139,
                            column: 18,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "unsafeDiscardStringContext",
                           span: Span {
                            start: Position {
                             line: 139,
                             column: 19,
                            },
                            end: Position {
                             line: 139,
                             column: 45,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       FunctionApplication(
                        FunctionApplication {
                         function: PropertyAccess(
                          PropertyAccess {
                           expression: Identifier(
                            Identifier {
                             id: "builtins",
                             span: Span {
                              start: Position {
                               line: 139,
                               column: 47,
                              },
                              end: Position {
                               line: 139,
                               column: 55,
                              },
                             },
                            },
                           ),
                           attribute_path: [
                            Raw(
                             PartRaw {
                              content: "toJSON",
                              span: Span {
                               start: Position {
                                line: 139,
                                column: 56,
                               },
                               end: Position {
                                line: 139,
                                column: 62,
                               },
                              },
                             },
                            ),
                           ],
                           default: None,
                          },
                         ),
                         arguments: [
                          Identifier(
                           Identifier {
                            id: "optionsNix",
                            span: Span {
                             start: Position {
                              line: 139,
                              column: 63,
                             },
                             end: Position {
                              line: 139,
                              column: 73,
                             },
                            },
                           },
                          ),
                         ],
                        },
                       ),
                      ],
                     },
                    ),
                   ],
                  },
                 ),
                },
               ),
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "baseJSON",
                    span: Span {
                     start: Position {
                      line: 142,
                      column: 7,
                     },
                     end: Position {
                      line: 142,
                      column: 15,
                     },
                    },
                   },
                  ),
                 ],
                 to: IfThenElse(
                  IfThenElse {
                   predicate: BinaryOperation(
                    BinaryOperation {
                     left: Identifier(
                      Identifier {
                       id: "baseOptionsJSON",
                       span: Span {
                        start: Position {
                         line: 143,
                         column: 12,
                        },
                        end: Position {
                         line: 143,
                         column: 27,
                        },
                       },
                      },
                     ),
                     operator: EqualTo,
                     right: Identifier(
                      Identifier {
                       id: "null",
                       span: Span {
                        start: Position {
                         line: 143,
                         column: 31,
                        },
                        end: Position {
                         line: 143,
                         column: 35,
                        },
                       },
                      },
                     ),
                    },
                   ),
                   then: FunctionApplication(
                    FunctionApplication {
                     function: PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "builtins",
                         span: Span {
                          start: Position {
                           line: 144,
                           column: 14,
                          },
                          end: Position {
                           line: 144,
                           column: 22,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "toFile",
                          span: Span {
                           start: Position {
                            line: 144,
                            column: 23,
                           },
                           end: Position {
                            line: 144,
                            column: 29,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                     arguments: [
                      String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "base.json",
                           span: Span {
                            start: Position {
                             line: 144,
                             column: 31,
                            },
                            end: Position {
                             line: 144,
                             column: 40,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 144,
                          column: 30,
                         },
                         end: Position {
                          line: 144,
                          column: 41,
                         },
                        },
                       },
                      ),
                      String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "{}",
                           span: Span {
                            start: Position {
                             line: 144,
                             column: 43,
                            },
                            end: Position {
                             line: 144,
                             column: 45,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 144,
                          column: 42,
                         },
                         end: Position {
                          line: 144,
                          column: 46,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                   else_: Identifier(
                    Identifier {
                     id: "baseOptionsJSON",
                     span: Span {
                      start: Position {
                       line: 145,
                       column: 14,
                      },
                      end: Position {
                       line: 145,
                       column: 29,
                      },
                     },
                    },
                   ),
                   span: Span {
                    start: Position {
                     line: 143,
                     column: 9,
                    },
                    end: Position {
                     line: 145,
                     column: 29,
                    },
                   },
                  },
                 ),
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 124,
                column: 5,
               },
               end: Position {
                line: 146,
                column: 6,
               },
              },
             },
            ),
            IndentedString(
             IndentedString {
              parts: [
               Raw(
                PartRaw {
                 content: "# Export list of options in different format.\ndst=$out/share/doc/nixos\nmkdir -p $dst\n\npython ",
                 span: Span {
                  start: Position {
                   line: 148,
                   column: 1,
                  },
                  end: Position {
                   line: 152,
                   column: 14,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Path(
                  Path {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "./mergeJSON.py",
                      span: Span {
                       start: Position {
                        line: 152,
                        column: 16,
                       },
                       end: Position {
                        line: 152,
                        column: 30,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 152,
                     column: 16,
                    },
                    end: Position {
                     line: 152,
                     column: 30,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " \\\n  ",
                 span: Span {
                  start: Position {
                   line: 148,
                   column: 1,
                  },
                  end: Position {
                   line: 153,
                   column: 9,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: FunctionApplication(
                  FunctionApplication {
                   function: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "lib",
                       span: Span {
                        start: Position {
                         line: 153,
                         column: 11,
                        },
                        end: Position {
                         line: 153,
                         column: 14,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "optionalString",
                        span: Span {
                         start: Position {
                          line: 153,
                          column: 15,
                         },
                         end: Position {
                          line: 153,
                          column: 29,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   arguments: [
                    Identifier(
                     Identifier {
                      id: "warningsAreErrors",
                      span: Span {
                       start: Position {
                        line: 153,
                        column: 30,
                       },
                       end: Position {
                        line: 153,
                        column: 47,
                       },
                      },
                     },
                    ),
                    String(
                     String_ {
                      parts: [
                       Raw(
                        PartRaw {
                         content: "--warnings-are-errors",
                         span: Span {
                          start: Position {
                           line: 153,
                           column: 49,
                          },
                          end: Position {
                           line: 153,
                           column: 70,
                          },
                         },
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 153,
                        column: 48,
                       },
                       end: Position {
                        line: 153,
                        column: 71,
                       },
                      },
                     },
                    ),
                   ],
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " \\\n  ",
                 span: Span {
                  start: Position {
                   line: 148,
                   column: 1,
                  },
                  end: Position {
                   line: 154,
                   column: 9,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: FunctionApplication(
                  FunctionApplication {
                   function: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "lib",
                       span: Span {
                        start: Position {
                         line: 154,
                         column: 11,
                        },
                        end: Position {
                         line: 154,
                         column: 14,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "optionalString",
                        span: Span {
                         start: Position {
                          line: 154,
                          column: 15,
                         },
                         end: Position {
                          line: 154,
                          column: 29,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   arguments: [
                    UnaryOperation(
                     UnaryOperation {
                      operator: Not,
                      operand: Identifier(
                       Identifier {
                        id: "allowDocBook",
                        span: Span {
                         start: Position {
                          line: 154,
                          column: 33,
                         },
                         end: Position {
                          line: 154,
                          column: 45,
                         },
                        },
                       },
                      ),
                      span: Span {
                       start: Position {
                        line: 154,
                        column: 31,
                       },
                       end: Position {
                        line: 154,
                        column: 45,
                       },
                      },
                     },
                    ),
                    String(
                     String_ {
                      parts: [
                       Raw(
                        PartRaw {
                         content: "--error-on-docbook",
                         span: Span {
                          start: Position {
                           line: 154,
                           column: 48,
                          },
                          end: Position {
                           line: 154,
                           column: 66,
                          },
                         },
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 154,
                        column: 47,
                       },
                       end: Position {
                        line: 154,
                        column: 67,
                       },
                      },
                     },
                    ),
                   ],
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " \\\n  $baseJSON $options \\\n  > $dst/options.json\n\nbrotli -9 < $dst/options.json > $dst/options.json.br\n\nmkdir -p $out/nix-support\necho \"file json $dst/options.json\" >> $out/nix-support/hydra-build-products\necho \"file json-br $dst/options.json.br\" >> $out/nix-support/hydra-build-products\n",
                 span: Span {
                  start: Position {
                   line: 148,
                   column: 1,
                  },
                  end: Position {
                   line: 163,
                   column: 5,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 147,
                column: 5,
               },
               end: Position {
                line: 163,
                column: 7,
               },
              },
             },
            ),
           ],
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "optionsXML",
            span: Span {
             start: Position {
              line: 168,
              column: 3,
             },
             end: Position {
              line: 168,
              column: 13,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: PropertyAccess(
            PropertyAccess {
             expression: Identifier(
              Identifier {
               id: "pkgs",
               span: Span {
                start: Position {
                 line: 168,
                 column: 16,
                },
                end: Position {
                 line: 168,
                 column: 20,
                },
               },
              },
             ),
             attribute_path: [
              Raw(
               PartRaw {
                content: "runCommand",
                span: Span {
                 start: Position {
                  line: 168,
                  column: 21,
                 },
                 end: Position {
                  line: 168,
                  column: 31,
                 },
                },
               },
              ),
             ],
             default: None,
            },
           ),
           arguments: [
            String(
             String_ {
              parts: [
               Raw(
                PartRaw {
                 content: "options.xml",
                 span: Span {
                  start: Position {
                   line: 168,
                   column: 33,
                  },
                  end: Position {
                   line: 168,
                   column: 44,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 168,
                column: 32,
               },
               end: Position {
                line: 168,
                column: 45,
               },
              },
             },
            ),
            Map(
             Map {
              recursive: false,
              bindings: [],
              span: Span {
               start: Position {
                line: 168,
                column: 46,
               },
               end: Position {
                line: 168,
                column: 48,
               },
              },
             },
            ),
            IndentedString(
             IndentedString {
              parts: [
               Raw(
                PartRaw {
                 content: "export NIX_STORE_DIR=$TMPDIR/store\nexport NIX_STATE_DIR=$TMPDIR/state\n",
                 span: Span {
                  start: Position {
                   line: 169,
                   column: 1,
                  },
                  end: Position {
                   line: 171,
                   column: 5,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 171,
                       column: 7,
                      },
                      end: Position {
                       line: 171,
                       column: 11,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "nix",
                      span: Span {
                       start: Position {
                        line: 171,
                        column: 12,
                       },
                       end: Position {
                        line: 171,
                        column: 15,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/nix-instantiate \\\n  --eval --xml --strict ",
                 span: Span {
                  start: Position {
                   line: 169,
                   column: 1,
                  },
                  end: Position {
                   line: 172,
                   column: 29,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Path(
                  Path {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "./optionsJSONtoXML.nix",
                      span: Span {
                       start: Position {
                        line: 172,
                        column: 31,
                       },
                       end: Position {
                        line: 172,
                        column: 53,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 172,
                     column: 31,
                    },
                    end: Position {
                     line: 172,
                     column: 53,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " \\\n  --argstr file ",
                 span: Span {
                  start: Position {
                   line: 169,
                   column: 1,
                  },
                  end: Position {
                   line: 173,
                   column: 21,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "optionsJSON",
                   span: Span {
                    start: Position {
                     line: 173,
                     column: 23,
                    },
                    end: Position {
                     line: 173,
                     column: 34,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/share/doc/nixos/options.json \\\n  > \"$out\"\n",
                 span: Span {
                  start: Position {
                   line: 169,
                   column: 1,
                  },
                  end: Position {
                   line: 175,
                   column: 3,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 168,
                column: 49,
               },
               end: Position {
                line: 175,
                column: 5,
               },
              },
             },
            ),
           ],
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "optionsDocBook",
            span: Span {
             start: Position {
              line: 177,
              column: 3,
             },
             end: Position {
              line: 177,
              column: 17,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: PropertyAccess(
            PropertyAccess {
             expression: Identifier(
              Identifier {
               id: "pkgs",
               span: Span {
                start: Position {
                 line: 177,
                 column: 20,
                },
                end: Position {
                 line: 177,
                 column: 24,
                },
               },
              },
             ),
             attribute_path: [
              Raw(
               PartRaw {
                content: "runCommand",
                span: Span {
                 start: Position {
                  line: 177,
                  column: 25,
                 },
                 end: Position {
                  line: 177,
                  column: 35,
                 },
                },
               },
              ),
             ],
             default: None,
            },
           ),
           arguments: [
            String(
             String_ {
              parts: [
               Raw(
                PartRaw {
                 content: "options-docbook.xml",
                 span: Span {
                  start: Position {
                   line: 177,
                   column: 37,
                  },
                  end: Position {
                   line: 177,
                   column: 56,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 177,
                column: 36,
               },
               end: Position {
                line: 177,
                column: 57,
               },
              },
             },
            ),
            Map(
             Map {
              recursive: false,
              bindings: [],
              span: Span {
               start: Position {
                line: 177,
                column: 58,
               },
               end: Position {
                line: 177,
                column: 60,
               },
              },
             },
            ),
            IndentedString(
             IndentedString {
              parts: [
               Raw(
                PartRaw {
                 content: "optionsXML=",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 178,
                   column: 16,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "optionsXML",
                   span: Span {
                    start: Position {
                     line: 178,
                     column: 18,
                    },
                    end: Position {
                     line: 178,
                     column: 28,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "\nif grep /nixpkgs/nixos/modules $optionsXML; then\n  echo \"The manual appears to depend on the location of Nixpkgs, which is bad\"\n  echo \"since this prevents sharing via the NixOS channel.  This is typically\"\n  echo \"caused by an option default that refers to a relative path (see above\"\n  echo \"for hints about the offending path).\"\n  exit 1\nfi\n\n",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 187,
                   column: 5,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 187,
                       column: 7,
                      },
                      end: Position {
                       line: 187,
                       column: 11,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "python3Minimal",
                      span: Span {
                       start: Position {
                        line: 187,
                        column: 12,
                       },
                       end: Position {
                        line: 187,
                        column: 26,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/python ",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 187,
                   column: 39,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Path(
                  Path {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "./sortXML.py",
                      span: Span {
                       start: Position {
                        line: 187,
                        column: 41,
                       },
                       end: Position {
                        line: 187,
                        column: 53,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 187,
                     column: 41,
                    },
                    end: Position {
                     line: 187,
                     column: 53,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " $optionsXML sorted.xml\n",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 188,
                   column: 5,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 188,
                       column: 7,
                      },
                      end: Position {
                       line: 188,
                       column: 11,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "libxslt",
                      span: Span {
                       start: Position {
                        line: 188,
                        column: 12,
                       },
                       end: Position {
                        line: 188,
                        column: 19,
                       },
                      },
                     },
                    ),
                    Raw(
                     PartRaw {
                      content: "bin",
                      span: Span {
                       start: Position {
                        line: 188,
                        column: 20,
                       },
                       end: Position {
                        line: 188,
                        column: 23,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/xsltproc \\\n  --stringparam documentType ",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 189,
                   column: 34,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "'",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 189,
                   column: 35,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "documentType",
                   span: Span {
                    start: Position {
                     line: 189,
                     column: 37,
                    },
                    end: Position {
                     line: 189,
                     column: 49,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "' \\\n  --stringparam revision ",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 190,
                   column: 30,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "'",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 190,
                   column: 31,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "revision",
                   span: Span {
                    start: Position {
                     line: 190,
                     column: 33,
                    },
                    end: Position {
                     line: 190,
                     column: 41,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "' \\\n  --stringparam variablelistId ",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 191,
                   column: 36,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "'",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 191,
                   column: 37,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "variablelistId",
                   span: Span {
                    start: Position {
                     line: 191,
                     column: 39,
                    },
                    end: Position {
                     line: 191,
                     column: 53,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "' \\\n  --stringparam optionIdPrefix ",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 192,
                   column: 36,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "'",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 192,
                   column: 37,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "optionIdPrefix",
                   span: Span {
                    start: Position {
                     line: 192,
                     column: 39,
                    },
                    end: Position {
                     line: 192,
                     column: 53,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "' \\\n  -o intermediate.xml ",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 193,
                   column: 27,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Path(
                  Path {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "./options-to-docbook.xsl",
                      span: Span {
                       start: Position {
                        line: 193,
                        column: 29,
                       },
                       end: Position {
                        line: 193,
                        column: 53,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 193,
                     column: 29,
                    },
                    end: Position {
                     line: 193,
                     column: 53,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " sorted.xml\n",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 194,
                   column: 5,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 194,
                       column: 7,
                      },
                      end: Position {
                       line: 194,
                       column: 11,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "libxslt",
                      span: Span {
                       start: Position {
                        line: 194,
                        column: 12,
                       },
                       end: Position {
                        line: 194,
                        column: 19,
                       },
                      },
                     },
                    ),
                    Raw(
                     PartRaw {
                      content: "bin",
                      span: Span {
                       start: Position {
                        line: 194,
                        column: 20,
                       },
                       end: Position {
                        line: 194,
                        column: 23,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/xsltproc \\\n  -o \"$out\" ",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 195,
                   column: 17,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Path(
                  Path {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "./postprocess-option-descriptions.xsl",
                      span: Span {
                       start: Position {
                        line: 195,
                        column: 19,
                       },
                       end: Position {
                        line: 195,
                        column: 56,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 195,
                     column: 19,
                    },
                    end: Position {
                     line: 195,
                     column: 56,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " intermediate.xml\n",
                 span: Span {
                  start: Position {
                   line: 178,
                   column: 1,
                  },
                  end: Position {
                   line: 196,
                   column: 3,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 177,
                column: 61,
               },
               end: Position {
                line: 196,
                column: 5,
               },
              },
             },
            ),
           ],
          },
         ),
        },
       ),
      ],
      span: Span {
       start: Position {
        line: 108,
        column: 4,
       },
       end: Position {
        line: 197,
        column: 2,
       },
      },
     },
    ),
    span: Span {
     start: Position {
      line: 45,
      column: 1,
     },
     end: Position {
      line: 197,
      column: 2,
     },
    },
   },
  ),
  span: Span {
   start: Position {
    line: 19,
    column: 1,
   },
   end: Position {
    line: 197,
    column: 2,
   },
  },
 },
)