Function(
 Function {
  head: Destructured(
   FunctionHeadDestructured {
    ellipsis: true,
    identifier: None,
    arguments: [
     FunctionHeadDestructuredArgument {
      identifier: "config",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "lib",
      default: None,
     },
     FunctionHeadDestructuredArgument {
      identifier: "pkgs",
      default: None,
     },
    ],
   },
  ),
  body: LetIn(
   LetIn {
    bindings: [
     Inherit(
      BindingInherit {
       from: Some(
        Identifier(
         Identifier {
          id: "builtins",
          span: Span {
           start: Position {
            line: 5,
            column: 12,
           },
           end: Position {
            line: 5,
            column: 20,
           },
          },
         },
        ),
       ),
       attributes: [
        Raw(
         PartRaw {
          content: "length",
          span: Span {
           start: Position {
            line: 5,
            column: 22,
           },
           end: Position {
            line: 5,
            column: 28,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "map",
          span: Span {
           start: Position {
            line: 5,
            column: 29,
           },
           end: Position {
            line: 5,
            column: 32,
           },
          },
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 3,
         column: 4,
        },
        end: Position {
         line: 5,
         column: 33,
        },
       },
      },
     ),
     Inherit(
      BindingInherit {
       from: Some(
        PropertyAccess(
         PropertyAccess {
          expression: Identifier(
           Identifier {
            id: "lib",
            span: Span {
             start: Position {
              line: 6,
              column: 12,
             },
             end: Position {
              line: 6,
              column: 15,
             },
            },
           },
          ),
          attribute_path: [
           Raw(
            PartRaw {
             content: "attrsets",
             span: Span {
              start: Position {
               line: 6,
               column: 16,
              },
              end: Position {
               line: 6,
               column: 24,
              },
             },
            },
           ),
          ],
          default: None,
         },
        ),
       ),
       attributes: [
        Raw(
         PartRaw {
          content: "attrNames",
          span: Span {
           start: Position {
            line: 6,
            column: 26,
           },
           end: Position {
            line: 6,
            column: 35,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "filterAttrs",
          span: Span {
           start: Position {
            line: 6,
            column: 36,
           },
           end: Position {
            line: 6,
            column: 47,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "hasAttr",
          span: Span {
           start: Position {
            line: 6,
            column: 48,
           },
           end: Position {
            line: 6,
            column: 55,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "mapAttrs",
          span: Span {
           start: Position {
            line: 6,
            column: 56,
           },
           end: Position {
            line: 6,
            column: 64,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "mapAttrsToList",
          span: Span {
           start: Position {
            line: 6,
            column: 65,
           },
           end: Position {
            line: 6,
            column: 79,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "optionalAttrs",
          span: Span {
           start: Position {
            line: 6,
            column: 80,
           },
           end: Position {
            line: 6,
            column: 93,
           },
          },
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 3,
         column: 4,
        },
        end: Position {
         line: 6,
         column: 94,
        },
       },
      },
     ),
     Inherit(
      BindingInherit {
       from: Some(
        PropertyAccess(
         PropertyAccess {
          expression: Identifier(
           Identifier {
            id: "lib",
            span: Span {
             start: Position {
              line: 7,
              column: 12,
             },
             end: Position {
              line: 7,
              column: 15,
             },
            },
           },
          ),
          attribute_path: [
           Raw(
            PartRaw {
             content: "modules",
             span: Span {
              start: Position {
               line: 7,
               column: 16,
              },
              end: Position {
               line: 7,
               column: 23,
              },
             },
            },
           ),
          ],
          default: None,
         },
        ),
       ),
       attributes: [
        Raw(
         PartRaw {
          content: "mkDefault",
          span: Span {
           start: Position {
            line: 7,
            column: 25,
           },
           end: Position {
            line: 7,
            column: 34,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "mkIf",
          span: Span {
           start: Position {
            line: 7,
            column: 35,
           },
           end: Position {
            line: 7,
            column: 39,
           },
          },
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 3,
         column: 4,
        },
        end: Position {
         line: 7,
         column: 40,
        },
       },
      },
     ),
     Inherit(
      BindingInherit {
       from: Some(
        PropertyAccess(
         PropertyAccess {
          expression: Identifier(
           Identifier {
            id: "lib",
            span: Span {
             start: Position {
              line: 8,
              column: 12,
             },
             end: Position {
              line: 8,
              column: 15,
             },
            },
           },
          ),
          attribute_path: [
           Raw(
            PartRaw {
             content: "options",
             span: Span {
              start: Position {
               line: 8,
               column: 16,
              },
              end: Position {
               line: 8,
               column: 23,
              },
             },
            },
           ),
          ],
          default: None,
         },
        ),
       ),
       attributes: [
        Raw(
         PartRaw {
          content: "literalExpression",
          span: Span {
           start: Position {
            line: 8,
            column: 25,
           },
           end: Position {
            line: 8,
            column: 42,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "mkEnableOption",
          span: Span {
           start: Position {
            line: 8,
            column: 43,
           },
           end: Position {
            line: 8,
            column: 57,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "mkOption",
          span: Span {
           start: Position {
            line: 8,
            column: 58,
           },
           end: Position {
            line: 8,
            column: 66,
           },
          },
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 3,
         column: 4,
        },
        end: Position {
         line: 8,
         column: 67,
        },
       },
      },
     ),
     Inherit(
      BindingInherit {
       from: Some(
        PropertyAccess(
         PropertyAccess {
          expression: Identifier(
           Identifier {
            id: "lib",
            span: Span {
             start: Position {
              line: 9,
              column: 12,
             },
             end: Position {
              line: 9,
              column: 15,
             },
            },
           },
          ),
          attribute_path: [
           Raw(
            PartRaw {
             content: "strings",
             span: Span {
              start: Position {
               line: 9,
               column: 16,
              },
              end: Position {
               line: 9,
               column: 23,
              },
             },
            },
           ),
          ],
          default: None,
         },
        ),
       ),
       attributes: [
        Raw(
         PartRaw {
          content: "concatStringsSep",
          span: Span {
           start: Position {
            line: 9,
            column: 25,
           },
           end: Position {
            line: 9,
            column: 41,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "optionalString",
          span: Span {
           start: Position {
            line: 9,
            column: 42,
           },
           end: Position {
            line: 9,
            column: 56,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "toLower",
          span: Span {
           start: Position {
            line: 9,
            column: 57,
           },
           end: Position {
            line: 9,
            column: 64,
           },
          },
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 3,
         column: 4,
        },
        end: Position {
         line: 9,
         column: 65,
        },
       },
      },
     ),
     Inherit(
      BindingInherit {
       from: Some(
        PropertyAccess(
         PropertyAccess {
          expression: Identifier(
           Identifier {
            id: "lib",
            span: Span {
             start: Position {
              line: 10,
              column: 12,
             },
             end: Position {
              line: 10,
              column: 15,
             },
            },
           },
          ),
          attribute_path: [
           Raw(
            PartRaw {
             content: "types",
             span: Span {
              start: Position {
               line: 10,
               column: 16,
              },
              end: Position {
               line: 10,
               column: 21,
              },
             },
            },
           ),
          ],
          default: None,
         },
        ),
       ),
       attributes: [
        Raw(
         PartRaw {
          content: "addCheck",
          span: Span {
           start: Position {
            line: 10,
            column: 23,
           },
           end: Position {
            line: 10,
            column: 31,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "attrsOf",
          span: Span {
           start: Position {
            line: 10,
            column: 32,
           },
           end: Position {
            line: 10,
            column: 39,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "lines",
          span: Span {
           start: Position {
            line: 10,
            column: 40,
           },
           end: Position {
            line: 10,
            column: 45,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "nonEmptyStr",
          span: Span {
           start: Position {
            line: 10,
            column: 46,
           },
           end: Position {
            line: 10,
            column: 57,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "nullOr",
          span: Span {
           start: Position {
            line: 10,
            column: 58,
           },
           end: Position {
            line: 10,
            column: 64,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "package",
          span: Span {
           start: Position {
            line: 10,
            column: 65,
           },
           end: Position {
            line: 10,
            column: 72,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "path",
          span: Span {
           start: Position {
            line: 10,
            column: 73,
           },
           end: Position {
            line: 10,
            column: 77,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "port",
          span: Span {
           start: Position {
            line: 10,
            column: 78,
           },
           end: Position {
            line: 10,
            column: 82,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "str",
          span: Span {
           start: Position {
            line: 10,
            column: 83,
           },
           end: Position {
            line: 10,
            column: 86,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "strMatching",
          span: Span {
           start: Position {
            line: 10,
            column: 87,
           },
           end: Position {
            line: 10,
            column: 98,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "submodule",
          span: Span {
           start: Position {
            line: 10,
            column: 99,
           },
           end: Position {
            line: 10,
            column: 108,
           },
          },
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 3,
         column: 4,
        },
        end: Position {
         line: 10,
         column: 109,
        },
       },
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "checkIUnique",
          span: Span {
           start: Position {
            line: 16,
            column: 3,
           },
           end: Position {
            line: 16,
            column: 15,
           },
          },
         },
        ),
       ],
       to: Function(
        Function {
         head: Simple(
          FunctionHeadSimple {
           identifier: "lst",
          },
         ),
         body: LetIn(
          LetIn {
           bindings: [
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "lenUniq",
                 span: Span {
                  start: Position {
                   line: 18,
                   column: 7,
                  },
                  end: Position {
                   line: 18,
                   column: 14,
                  },
                 },
                },
               ),
              ],
              to: Function(
               Function {
                head: Simple(
                 FunctionHeadSimple {
                  identifier: "l",
                 },
                ),
                body: FunctionApplication(
                 FunctionApplication {
                  function: Identifier(
                   Identifier {
                    id: "length",
                    span: Span {
                     start: Position {
                      line: 18,
                      column: 20,
                     },
                     end: Position {
                      line: 18,
                      column: 26,
                     },
                    },
                   },
                  ),
                  arguments: [
                   FunctionApplication(
                    FunctionApplication {
                     function: PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "lib",
                         span: Span {
                          start: Position {
                           line: 18,
                           column: 28,
                          },
                          end: Position {
                           line: 18,
                           column: 31,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "lists",
                          span: Span {
                           start: Position {
                            line: 18,
                            column: 32,
                           },
                           end: Position {
                            line: 18,
                            column: 37,
                           },
                          },
                         },
                        ),
                        Raw(
                         PartRaw {
                          content: "unique",
                          span: Span {
                           start: Position {
                            line: 18,
                            column: 38,
                           },
                           end: Position {
                            line: 18,
                            column: 44,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                     arguments: [
                      Identifier(
                       Identifier {
                        id: "l",
                        span: Span {
                         start: Position {
                          line: 18,
                          column: 45,
                         },
                         end: Position {
                          line: 18,
                          column: 46,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  ],
                 },
                ),
                span: Span {
                 start: Position {
                  line: 18,
                  column: 17,
                 },
                 end: Position {
                  line: 18,
                  column: 47,
                 },
                },
               },
              ),
             },
            ),
           ],
           target: BinaryOperation(
            BinaryOperation {
             left: FunctionApplication(
              FunctionApplication {
               function: Identifier(
                Identifier {
                 id: "lenUniq",
                 span: Span {
                  start: Position {
                   line: 20,
                   column: 7,
                  },
                  end: Position {
                   line: 20,
                   column: 14,
                  },
                 },
                },
               ),
               arguments: [
                Identifier(
                 Identifier {
                  id: "lst",
                  span: Span {
                   start: Position {
                    line: 20,
                    column: 15,
                   },
                   end: Position {
                    line: 20,
                    column: 18,
                   },
                  },
                 },
                ),
               ],
              },
             ),
             operator: EqualTo,
             right: FunctionApplication(
              FunctionApplication {
               function: Identifier(
                Identifier {
                 id: "lenUniq",
                 span: Span {
                  start: Position {
                   line: 20,
                   column: 22,
                  },
                  end: Position {
                   line: 20,
                   column: 29,
                  },
                 },
                },
               ),
               arguments: [
                FunctionApplication(
                 FunctionApplication {
                  function: Identifier(
                   Identifier {
                    id: "map",
                    span: Span {
                     start: Position {
                      line: 20,
                      column: 31,
                     },
                     end: Position {
                      line: 20,
                      column: 34,
                     },
                    },
                   },
                  ),
                  arguments: [
                   Identifier(
                    Identifier {
                     id: "toLower",
                     span: Span {
                      start: Position {
                       line: 20,
                       column: 35,
                      },
                      end: Position {
                       line: 20,
                       column: 42,
                      },
                     },
                    },
                   ),
                   Identifier(
                    Identifier {
                     id: "lst",
                     span: Span {
                      start: Position {
                       line: 20,
                       column: 43,
                      },
                      end: Position {
                       line: 20,
                       column: 46,
                      },
                     },
                    },
                   ),
                  ],
                 },
                ),
               ],
              },
             ),
            },
           ),
           span: Span {
            start: Position {
             line: 17,
             column: 5,
            },
            end: Position {
             line: 20,
             column: 47,
            },
           },
          },
         ),
         span: Span {
          start: Position {
           line: 16,
           column: 18,
          },
          end: Position {
           line: 20,
           column: 47,
          },
         },
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "servernameType",
          span: Span {
           start: Position {
            line: 23,
            column: 3,
           },
           end: Position {
            line: 23,
            column: 17,
           },
          },
         },
        ),
       ],
       to: FunctionApplication(
        FunctionApplication {
         function: Identifier(
          Identifier {
           id: "strMatching",
           span: Span {
            start: Position {
             line: 23,
             column: 20,
            },
            end: Position {
             line: 23,
             column: 31,
            },
           },
          },
         ),
         arguments: [
          String(
           String_ {
            parts: [
             Raw(
              PartRaw {
               content: ".{1,64}",
               span: Span {
                start: Position {
                 line: 23,
                 column: 33,
                },
                end: Position {
                 line: 23,
                 column: 40,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 23,
              column: 32,
             },
             end: Position {
              line: 23,
              column: 41,
             },
            },
           },
          ),
         ],
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "serverOptions",
          span: Span {
           start: Position {
            line: 25,
            column: 3,
           },
           end: Position {
            line: 25,
            column: 16,
           },
          },
         },
        ),
       ],
       to: Function(
        Function {
         head: Destructured(
          FunctionHeadDestructured {
           ellipsis: true,
           identifier: None,
           arguments: [
            FunctionHeadDestructuredArgument {
             identifier: "name",
             default: None,
            },
            FunctionHeadDestructuredArgument {
             identifier: "config",
             default: None,
            },
           ],
          },
         ),
         body: Map(
          Map {
           recursive: false,
           bindings: [
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 26,
                   column: 5,
                  },
                  end: Position {
                   line: 26,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "name",
                 span: Span {
                  start: Position {
                   line: 26,
                   column: 13,
                  },
                  end: Position {
                   line: 26,
                   column: 17,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 26,
                    column: 20,
                   },
                   end: Position {
                    line: 26,
                    column: 28,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 27,
                           column: 7,
                          },
                          end: Position {
                           line: 27,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "servernameType",
                        span: Span {
                         start: Position {
                          line: 27,
                          column: 14,
                         },
                         end: Position {
                          line: 27,
                          column: 28,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 28,
                           column: 7,
                          },
                          end: Position {
                           line: 28,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "mainTsmServer",
                           span: Span {
                            start: Position {
                             line: 28,
                             column: 18,
                            },
                            end: Position {
                             line: 28,
                             column: 31,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 28,
                          column: 17,
                         },
                         end: Position {
                          line: 28,
                          column: 32,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 29,
                           column: 7,
                          },
                          end: Position {
                           line: 29,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 29,
                              column: 21,
                             },
                             end: Position {
                              line: 29,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 29,
                               column: 25,
                              },
                              end: Position {
                               line: 29,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "Local name of the IBM TSM server,\nmust be uncapitalized and no longer than 64 chars.\nThe value will be used for the\n`server`\ndirective in {file}`dsm.sys`.\n",
                              span: Span {
                               start: Position {
                                line: 30,
                                column: 1,
                               },
                               end: Position {
                                line: 35,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 29,
                             column: 31,
                            },
                            end: Position {
                             line: 35,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 26,
                     column: 29,
                    },
                    end: Position {
                     line: 36,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 37,
                   column: 5,
                  },
                  end: Position {
                   line: 37,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "server",
                 span: Span {
                  start: Position {
                   line: 37,
                   column: 13,
                  },
                  end: Position {
                   line: 37,
                   column: 19,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 37,
                    column: 22,
                   },
                   end: Position {
                    line: 37,
                    column: 30,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 38,
                           column: 7,
                          },
                          end: Position {
                           line: 38,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "nonEmptyStr",
                        span: Span {
                         start: Position {
                          line: 38,
                          column: 14,
                         },
                         end: Position {
                          line: 38,
                          column: 25,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 39,
                           column: 7,
                          },
                          end: Position {
                           line: 39,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "tsmserver.company.com",
                           span: Span {
                            start: Position {
                             line: 39,
                             column: 18,
                            },
                            end: Position {
                             line: 39,
                             column: 39,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 39,
                          column: 17,
                         },
                         end: Position {
                          line: 39,
                          column: 40,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 40,
                           column: 7,
                          },
                          end: Position {
                           line: 40,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 40,
                              column: 21,
                             },
                             end: Position {
                              line: 40,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 40,
                               column: 25,
                              },
                              end: Position {
                               line: 40,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "Host/domain name or IP address of the IBM TSM server.\nThe value will be used for the\n`tcpserveraddress`\ndirective in {file}`dsm.sys`.\n",
                              span: Span {
                               start: Position {
                                line: 41,
                                column: 1,
                               },
                               end: Position {
                                line: 45,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 40,
                             column: 31,
                            },
                            end: Position {
                             line: 45,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 37,
                     column: 31,
                    },
                    end: Position {
                     line: 46,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 47,
                   column: 5,
                  },
                  end: Position {
                   line: 47,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "port",
                 span: Span {
                  start: Position {
                   line: 47,
                   column: 13,
                  },
                  end: Position {
                   line: 47,
                   column: 17,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 47,
                    column: 20,
                   },
                   end: Position {
                    line: 47,
                    column: 28,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 48,
                           column: 7,
                          },
                          end: Position {
                           line: 48,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: Identifier(
                         Identifier {
                          id: "addCheck",
                          span: Span {
                           start: Position {
                            line: 48,
                            column: 14,
                           },
                           end: Position {
                            line: 48,
                            column: 22,
                           },
                          },
                         },
                        ),
                        arguments: [
                         Identifier(
                          Identifier {
                           id: "port",
                           span: Span {
                            start: Position {
                             line: 48,
                             column: 23,
                            },
                            end: Position {
                             line: 48,
                             column: 27,
                            },
                           },
                          },
                         ),
                         Function(
                          Function {
                           head: Simple(
                            FunctionHeadSimple {
                             identifier: "p",
                            },
                           ),
                           body: BinaryOperation(
                            BinaryOperation {
                             left: Identifier(
                              Identifier {
                               id: "p",
                               span: Span {
                                start: Position {
                                 line: 48,
                                 column: 32,
                                },
                                end: Position {
                                 line: 48,
                                 column: 33,
                                },
                               },
                              },
                             ),
                             operator: LessThanOrEqualTo,
                             right: Integer(
                              Integer {
                               value: "32767",
                               span: Span {
                                start: Position {
                                 line: 48,
                                 column: 35,
                                },
                                end: Position {
                                 line: 48,
                                 column: 40,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           span: Span {
                            start: Position {
                             line: 48,
                             column: 29,
                            },
                            end: Position {
                             line: 48,
                             column: 40,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "default",
                         span: Span {
                          start: Position {
                           line: 49,
                           column: 7,
                          },
                          end: Position {
                           line: 49,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: Integer(
                       Integer {
                        value: "1500",
                        span: Span {
                         start: Position {
                          line: 49,
                          column: 17,
                         },
                         end: Position {
                          line: 49,
                          column: 21,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 50,
                           column: 7,
                          },
                          end: Position {
                           line: 50,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 50,
                              column: 21,
                             },
                             end: Position {
                              line: 50,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 50,
                               column: 25,
                              },
                              end: Position {
                               line: 50,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "TCP port of the IBM TSM server.\nThe value will be used for the\n`tcpport`\ndirective in {file}`dsm.sys`.\nTSM does not support ports above 32767.\n",
                              span: Span {
                               start: Position {
                                line: 51,
                                column: 1,
                               },
                               end: Position {
                                line: 56,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 50,
                             column: 31,
                            },
                            end: Position {
                             line: 56,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 47,
                     column: 29,
                    },
                    end: Position {
                     line: 57,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 58,
                   column: 5,
                  },
                  end: Position {
                   line: 58,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "node",
                 span: Span {
                  start: Position {
                   line: 58,
                   column: 13,
                  },
                  end: Position {
                   line: 58,
                   column: 17,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 58,
                    column: 20,
                   },
                   end: Position {
                    line: 58,
                    column: 28,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 59,
                           column: 7,
                          },
                          end: Position {
                           line: 59,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "nonEmptyStr",
                        span: Span {
                         start: Position {
                          line: 59,
                          column: 14,
                         },
                         end: Position {
                          line: 59,
                          column: 25,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 60,
                           column: 7,
                          },
                          end: Position {
                           line: 60,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "MY-TSM-NODE",
                           span: Span {
                            start: Position {
                             line: 60,
                             column: 18,
                            },
                            end: Position {
                             line: 60,
                             column: 29,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 60,
                          column: 17,
                         },
                         end: Position {
                          line: 60,
                          column: 30,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 61,
                           column: 7,
                          },
                          end: Position {
                           line: 61,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 61,
                              column: 21,
                             },
                             end: Position {
                              line: 61,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 61,
                               column: 25,
                              },
                              end: Position {
                               line: 61,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "Target node name on the IBM TSM server.\nThe value will be used for the\n`nodename`\ndirective in {file}`dsm.sys`.\n",
                              span: Span {
                               start: Position {
                                line: 62,
                                column: 1,
                               },
                               end: Position {
                                line: 66,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 61,
                             column: 31,
                            },
                            end: Position {
                             line: 66,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 58,
                     column: 29,
                    },
                    end: Position {
                     line: 67,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 68,
                   column: 5,
                  },
                  end: Position {
                   line: 68,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "genPasswd",
                 span: Span {
                  start: Position {
                   line: 68,
                   column: 13,
                  },
                  end: Position {
                   line: 68,
                   column: 22,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkEnableOption",
                  span: Span {
                   start: Position {
                    line: 68,
                    column: 25,
                   },
                   end: Position {
                    line: 68,
                    column: 39,
                   },
                  },
                 },
                ),
                arguments: [
                 FunctionApplication(
                  FunctionApplication {
                   function: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "lib",
                       span: Span {
                        start: Position {
                         line: 68,
                         column: 41,
                        },
                        end: Position {
                         line: 68,
                         column: 44,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "mdDoc",
                        span: Span {
                         start: Position {
                          line: 68,
                          column: 45,
                         },
                         end: Position {
                          line: 68,
                          column: 50,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   arguments: [
                    IndentedString(
                     IndentedString {
                      parts: [
                       Raw(
                        PartRaw {
                         content: "automatic client password generation.\nThis option influences the\n`passwordaccess`\ndirective in {file}`dsm.sys`.\nThe password will be stored in the directory\ngiven by the option {option}`passwdDir`.\n*Caution*:\nIf this option is enabled and the server forces\nto renew the password (e.g. on first connection),\na random password will be generated and stored\n",
                         span: Span {
                          start: Position {
                           line: 69,
                           column: 1,
                          },
                          end: Position {
                           line: 79,
                           column: 5,
                          },
                         },
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 68,
                        column: 51,
                       },
                       end: Position {
                        line: 79,
                        column: 7,
                       },
                      },
                     },
                    ),
                   ],
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 80,
                   column: 5,
                  },
                  end: Position {
                   line: 80,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "passwdDir",
                 span: Span {
                  start: Position {
                   line: 80,
                   column: 13,
                  },
                  end: Position {
                   line: 80,
                   column: 22,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 80,
                    column: 25,
                   },
                   end: Position {
                    line: 80,
                    column: 33,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 81,
                           column: 7,
                          },
                          end: Position {
                           line: 81,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "path",
                        span: Span {
                         start: Position {
                          line: 81,
                          column: 14,
                         },
                         end: Position {
                          line: 81,
                          column: 18,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 82,
                           column: 7,
                          },
                          end: Position {
                           line: 82,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "/home/alice/tsm-password",
                           span: Span {
                            start: Position {
                             line: 82,
                             column: 18,
                            },
                            end: Position {
                             line: 82,
                             column: 42,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 82,
                          column: 17,
                         },
                         end: Position {
                          line: 82,
                          column: 43,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 83,
                           column: 7,
                          },
                          end: Position {
                           line: 83,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 83,
                              column: 21,
                             },
                             end: Position {
                              line: 83,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 83,
                               column: 25,
                              },
                              end: Position {
                               line: 83,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "Directory that holds the TSM\nnode's password information.\nThe value will be used for the\n`passworddir`\ndirective in {file}`dsm.sys`.\n",
                              span: Span {
                               start: Position {
                                line: 84,
                                column: 1,
                               },
                               end: Position {
                                line: 89,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 83,
                             column: 31,
                            },
                            end: Position {
                             line: 89,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 80,
                     column: 34,
                    },
                    end: Position {
                     line: 90,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 91,
                   column: 5,
                  },
                  end: Position {
                   line: 91,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "includeExclude",
                 span: Span {
                  start: Position {
                   line: 91,
                   column: 13,
                  },
                  end: Position {
                   line: 91,
                   column: 27,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 91,
                    column: 30,
                   },
                   end: Position {
                    line: 91,
                    column: 38,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 92,
                           column: 7,
                          },
                          end: Position {
                           line: 92,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "lines",
                        span: Span {
                         start: Position {
                          line: 92,
                          column: 14,
                         },
                         end: Position {
                          line: 92,
                          column: 19,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "default",
                         span: Span {
                          start: Position {
                           line: 93,
                           column: 7,
                          },
                          end: Position {
                           line: 93,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: String(
                       String_ {
                        parts: [],
                        span: Span {
                         start: Position {
                          line: 93,
                          column: 17,
                         },
                         end: Position {
                          line: 93,
                          column: 19,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 94,
                           column: 7,
                          },
                          end: Position {
                           line: 94,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: IndentedString(
                       IndentedString {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "exclude.dir     /nix/store\ninclude.encrypt /home/.../*\n",
                           span: Span {
                            start: Position {
                             line: 95,
                             column: 1,
                            },
                            end: Position {
                             line: 97,
                             column: 7,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 94,
                          column: 17,
                         },
                         end: Position {
                          line: 97,
                          column: 9,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 98,
                           column: 7,
                          },
                          end: Position {
                           line: 98,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 98,
                              column: 21,
                             },
                             end: Position {
                              line: 98,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 98,
                               column: 25,
                              },
                              end: Position {
                               line: 98,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "`include.*` and\n`exclude.*` directives to be\nused when sending files to the IBM TSM server.\nThe lines will be written into a file that the\n`inclexcl`\ndirective in {file}`dsm.sys` points to.\n",
                              span: Span {
                               start: Position {
                                line: 99,
                                column: 1,
                               },
                               end: Position {
                                line: 105,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 98,
                             column: 31,
                            },
                            end: Position {
                             line: 105,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 91,
                     column: 39,
                    },
                    end: Position {
                     line: 106,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 107,
                   column: 5,
                  },
                  end: Position {
                   line: 107,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "extraConfig",
                 span: Span {
                  start: Position {
                   line: 107,
                   column: 13,
                  },
                  end: Position {
                   line: 107,
                   column: 24,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 107,
                    column: 27,
                   },
                   end: Position {
                    line: 107,
                    column: 35,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 111,
                           column: 7,
                          },
                          end: Position {
                           line: 111,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: Identifier(
                         Identifier {
                          id: "addCheck",
                          span: Span {
                           start: Position {
                            line: 111,
                            column: 14,
                           },
                           end: Position {
                            line: 111,
                            column: 22,
                           },
                          },
                         },
                        ),
                        arguments: [
                         FunctionApplication(
                          FunctionApplication {
                           function: Identifier(
                            Identifier {
                             id: "attrsOf",
                             span: Span {
                              start: Position {
                               line: 112,
                               column: 10,
                              },
                              end: Position {
                               line: 112,
                               column: 17,
                              },
                             },
                            },
                           ),
                           arguments: [
                            FunctionApplication(
                             FunctionApplication {
                              function: Identifier(
                               Identifier {
                                id: "nullOr",
                                span: Span {
                                 start: Position {
                                  line: 112,
                                  column: 19,
                                 },
                                 end: Position {
                                  line: 112,
                                  column: 25,
                                 },
                                },
                               },
                              ),
                              arguments: [
                               Identifier(
                                Identifier {
                                 id: "str",
                                 span: Span {
                                  start: Position {
                                   line: 112,
                                   column: 26,
                                  },
                                  end: Position {
                                   line: 112,
                                   column: 29,
                                  },
                                 },
                                },
                               ),
                              ],
                             },
                            ),
                           ],
                          },
                         ),
                         Function(
                          Function {
                           head: Simple(
                            FunctionHeadSimple {
                             identifier: "attrs",
                            },
                           ),
                           body: FunctionApplication(
                            FunctionApplication {
                             function: Identifier(
                              Identifier {
                               id: "checkIUnique",
                               span: Span {
                                start: Position {
                                 line: 113,
                                 column: 17,
                                },
                                end: Position {
                                 line: 113,
                                 column: 29,
                                },
                               },
                              },
                             ),
                             arguments: [
                              FunctionApplication(
                               FunctionApplication {
                                function: Identifier(
                                 Identifier {
                                  id: "attrNames",
                                  span: Span {
                                   start: Position {
                                    line: 113,
                                    column: 31,
                                   },
                                   end: Position {
                                    line: 113,
                                    column: 40,
                                   },
                                  },
                                 },
                                ),
                                arguments: [
                                 Identifier(
                                  Identifier {
                                   id: "attrs",
                                   span: Span {
                                    start: Position {
                                     line: 113,
                                     column: 41,
                                    },
                                    end: Position {
                                     line: 113,
                                     column: 46,
                                    },
                                   },
                                  },
                                 ),
                                ],
                               },
                              ),
                             ],
                            },
                           ),
                           span: Span {
                            start: Position {
                             line: 113,
                             column: 10,
                            },
                            end: Position {
                             line: 113,
                             column: 47,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "default",
                         span: Span {
                          start: Position {
                           line: 114,
                           column: 7,
                          },
                          end: Position {
                           line: 114,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: Map(
                       Map {
                        recursive: false,
                        bindings: [],
                        span: Span {
                         start: Position {
                          line: 114,
                          column: 17,
                         },
                         end: Position {
                          line: 114,
                          column: 19,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 115,
                           column: 7,
                          },
                          end: Position {
                           line: 115,
                           column: 14,
                          },
                         },
                        },
                       ),
                       Raw(
                        PartRaw {
                         content: "compression",
                         span: Span {
                          start: Position {
                           line: 115,
                           column: 15,
                          },
                          end: Position {
                           line: 115,
                           column: 26,
                          },
                         },
                        },
                       ),
                      ],
                      to: String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: "yes",
                           span: Span {
                            start: Position {
                             line: 115,
                             column: 30,
                            },
                            end: Position {
                             line: 115,
                             column: 33,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 115,
                          column: 29,
                         },
                         end: Position {
                          line: 115,
                          column: 34,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 116,
                           column: 7,
                          },
                          end: Position {
                           line: 116,
                           column: 14,
                          },
                         },
                        },
                       ),
                       Raw(
                        PartRaw {
                         content: "passwordaccess",
                         span: Span {
                          start: Position {
                           line: 116,
                           column: 15,
                          },
                          end: Position {
                           line: 116,
                           column: 29,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "null",
                        span: Span {
                         start: Position {
                          line: 116,
                          column: 32,
                         },
                         end: Position {
                          line: 116,
                          column: 36,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 117,
                           column: 7,
                          },
                          end: Position {
                           line: 117,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 117,
                              column: 21,
                             },
                             end: Position {
                              line: 117,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 117,
                               column: 25,
                              },
                              end: Position {
                               line: 117,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "Additional key-value pairs for the server stanza.\nValues must be strings, or `null`\nfor the key not to be used in the stanza\n(e.g. to overrule values generated by other options).\n",
                              span: Span {
                               start: Position {
                                line: 118,
                                column: 1,
                               },
                               end: Position {
                                line: 122,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 117,
                             column: 31,
                            },
                            end: Position {
                             line: 122,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 107,
                     column: 36,
                    },
                    end: Position {
                     line: 123,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 124,
                   column: 5,
                  },
                  end: Position {
                   line: 124,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "text",
                 span: Span {
                  start: Position {
                   line: 124,
                   column: 13,
                  },
                  end: Position {
                   line: 124,
                   column: 17,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 124,
                    column: 20,
                   },
                   end: Position {
                    line: 124,
                    column: 28,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 125,
                           column: 7,
                          },
                          end: Position {
                           line: 125,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "lines",
                        span: Span {
                         start: Position {
                          line: 125,
                          column: 14,
                         },
                         end: Position {
                          line: 125,
                          column: 19,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "example",
                         span: Span {
                          start: Position {
                           line: 126,
                           column: 7,
                          },
                          end: Position {
                           line: 126,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: Identifier(
                         Identifier {
                          id: "literalExpression",
                          span: Span {
                           start: Position {
                            line: 126,
                            column: 17,
                           },
                           end: Position {
                            line: 126,
                            column: 34,
                           },
                          },
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "lib.modules.mkAfter \"compression no\"",
                              span: Span {
                               start: Position {
                                line: 127,
                                column: 11,
                               },
                               end: Position {
                                line: 127,
                                column: 47,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 127,
                             column: 9,
                            },
                            end: Position {
                             line: 127,
                             column: 49,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 128,
                           column: 7,
                          },
                          end: Position {
                           line: 128,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 128,
                              column: 21,
                             },
                             end: Position {
                              line: 128,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 128,
                               column: 25,
                              },
                              end: Position {
                               line: 128,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         IndentedString(
                          IndentedString {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "Additional text lines for the server stanza.\nThis option can be used if certion configuration keys\nmust be used multiple times or ordered in a certain way\nas the {option}`extraConfig` option can't\ncontrol the order of lines in the resulting stanza.\nNote that the `server`\nline at the beginning of the stanza is\nnot part of this option's value.\n",
                              span: Span {
                               start: Position {
                                line: 129,
                                column: 1,
                               },
                               end: Position {
                                line: 137,
                                column: 7,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 128,
                             column: 31,
                            },
                            end: Position {
                             line: 137,
                             column: 9,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 124,
                     column: 29,
                    },
                    end: Position {
                     line: 138,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "options",
                 span: Span {
                  start: Position {
                   line: 139,
                   column: 5,
                  },
                  end: Position {
                   line: 139,
                   column: 12,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "stanza",
                 span: Span {
                  start: Position {
                   line: 139,
                   column: 13,
                  },
                  end: Position {
                   line: 139,
                   column: 19,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkOption",
                  span: Span {
                   start: Position {
                    line: 139,
                    column: 22,
                   },
                   end: Position {
                    line: 139,
                    column: 30,
                   },
                  },
                 },
                ),
                arguments: [
                 Map(
                  Map {
                   recursive: false,
                   bindings: [
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "type",
                         span: Span {
                          start: Position {
                           line: 140,
                           column: 7,
                          },
                          end: Position {
                           line: 140,
                           column: 11,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "str",
                        span: Span {
                         start: Position {
                          line: 140,
                          column: 14,
                         },
                         end: Position {
                          line: 140,
                          column: 17,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "internal",
                         span: Span {
                          start: Position {
                           line: 141,
                           column: 7,
                          },
                          end: Position {
                           line: 141,
                           column: 15,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "true",
                        span: Span {
                         start: Position {
                          line: 141,
                          column: 18,
                         },
                         end: Position {
                          line: 141,
                          column: 22,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "visible",
                         span: Span {
                          start: Position {
                           line: 142,
                           column: 7,
                          },
                          end: Position {
                           line: 142,
                           column: 14,
                          },
                         },
                        },
                       ),
                      ],
                      to: Identifier(
                       Identifier {
                        id: "false",
                        span: Span {
                         start: Position {
                          line: 142,
                          column: 17,
                         },
                         end: Position {
                          line: 142,
                          column: 22,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    KeyValue(
                     BindingKeyValue {
                      from: [
                       Raw(
                        PartRaw {
                         content: "description",
                         span: Span {
                          start: Position {
                           line: 143,
                           column: 7,
                          },
                          end: Position {
                           line: 143,
                           column: 18,
                          },
                         },
                        },
                       ),
                      ],
                      to: FunctionApplication(
                       FunctionApplication {
                        function: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "lib",
                            span: Span {
                             start: Position {
                              line: 143,
                              column: 21,
                             },
                             end: Position {
                              line: 143,
                              column: 24,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "mdDoc",
                             span: Span {
                              start: Position {
                               line: 143,
                               column: 25,
                              },
                              end: Position {
                               line: 143,
                               column: 30,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        arguments: [
                         String(
                          String_ {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "Server stanza text generated from the options.",
                              span: Span {
                               start: Position {
                                line: 143,
                                column: 32,
                               },
                               end: Position {
                                line: 143,
                                column: 78,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 143,
                             column: 31,
                            },
                            end: Position {
                             line: 143,
                             column: 79,
                            },
                           },
                          },
                         ),
                        ],
                       },
                      ),
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 139,
                     column: 31,
                    },
                    end: Position {
                     line: 144,
                     column: 6,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "config",
                 span: Span {
                  start: Position {
                   line: 145,
                   column: 5,
                  },
                  end: Position {
                   line: 145,
                   column: 11,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "name",
                 span: Span {
                  start: Position {
                   line: 145,
                   column: 12,
                  },
                  end: Position {
                   line: 145,
                   column: 16,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mkDefault",
                  span: Span {
                   start: Position {
                    line: 145,
                    column: 19,
                   },
                   end: Position {
                    line: 145,
                    column: 28,
                   },
                  },
                 },
                ),
                arguments: [
                 Identifier(
                  Identifier {
                   id: "name",
                   span: Span {
                    start: Position {
                     line: 145,
                     column: 29,
                    },
                    end: Position {
                     line: 145,
                     column: 33,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "config",
                 span: Span {
                  start: Position {
                   line: 148,
                   column: 5,
                  },
                  end: Position {
                   line: 148,
                   column: 11,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "extraConfig",
                 span: Span {
                  start: Position {
                   line: 148,
                   column: 12,
                  },
                  end: Position {
                   line: 148,
                   column: 23,
                  },
                 },
                },
               ),
              ],
              to: FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "mapAttrs",
                  span: Span {
                   start: Position {
                    line: 149,
                    column: 7,
                   },
                   end: Position {
                    line: 149,
                    column: 15,
                   },
                  },
                 },
                ),
                arguments: [
                 FunctionApplication(
                  FunctionApplication {
                   function: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "lib",
                       span: Span {
                        start: Position {
                         line: 149,
                         column: 17,
                        },
                        end: Position {
                         line: 149,
                         column: 20,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "trivial",
                        span: Span {
                         start: Position {
                          line: 149,
                          column: 21,
                         },
                         end: Position {
                          line: 149,
                          column: 28,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "const",
                        span: Span {
                         start: Position {
                          line: 149,
                          column: 29,
                         },
                         end: Position {
                          line: 149,
                          column: 34,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   arguments: [
                    Identifier(
                     Identifier {
                      id: "mkDefault",
                      span: Span {
                       start: Position {
                        line: 149,
                        column: 35,
                       },
                       end: Position {
                        line: 149,
                        column: 44,
                       },
                      },
                     },
                    ),
                   ],
                  },
                 ),
                 BinaryOperation(
                  BinaryOperation {
                   left: Map(
                    Map {
                     recursive: false,
                     bindings: [
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "commmethod",
                           span: Span {
                            start: Position {
                             line: 151,
                             column: 11,
                            },
                            end: Position {
                             line: 151,
                             column: 21,
                            },
                           },
                          },
                         ),
                        ],
                        to: String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "v6tcpip",
                             span: Span {
                              start: Position {
                               line: 151,
                               column: 25,
                              },
                              end: Position {
                               line: 151,
                               column: 32,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 151,
                            column: 24,
                           },
                           end: Position {
                            line: 151,
                            column: 33,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "tcpserveraddress",
                           span: Span {
                            start: Position {
                             line: 152,
                             column: 11,
                            },
                            end: Position {
                             line: 152,
                             column: 27,
                            },
                           },
                          },
                         ),
                        ],
                        to: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "config",
                            span: Span {
                             start: Position {
                              line: 152,
                              column: 30,
                             },
                             end: Position {
                              line: 152,
                              column: 36,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "server",
                             span: Span {
                              start: Position {
                               line: 152,
                               column: 37,
                              },
                              end: Position {
                               line: 152,
                               column: 43,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "tcpport",
                           span: Span {
                            start: Position {
                             line: 153,
                             column: 11,
                            },
                            end: Position {
                             line: 153,
                             column: 18,
                            },
                           },
                          },
                         ),
                        ],
                        to: FunctionApplication(
                         FunctionApplication {
                          function: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "builtins",
                              span: Span {
                               start: Position {
                                line: 153,
                                column: 21,
                               },
                               end: Position {
                                line: 153,
                                column: 29,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "toString",
                               span: Span {
                                start: Position {
                                 line: 153,
                                 column: 30,
                                },
                                end: Position {
                                 line: 153,
                                 column: 38,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                          arguments: [
                           PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "config",
                               span: Span {
                                start: Position {
                                 line: 153,
                                 column: 39,
                                },
                                end: Position {
                                 line: 153,
                                 column: 45,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "port",
                                span: Span {
                                 start: Position {
                                  line: 153,
                                  column: 46,
                                 },
                                 end: Position {
                                  line: 153,
                                  column: 50,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "nodename",
                           span: Span {
                            start: Position {
                             line: 154,
                             column: 11,
                            },
                            end: Position {
                             line: 154,
                             column: 19,
                            },
                           },
                          },
                         ),
                        ],
                        to: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "config",
                            span: Span {
                             start: Position {
                              line: 154,
                              column: 22,
                             },
                             end: Position {
                              line: 154,
                              column: 28,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "node",
                             span: Span {
                              start: Position {
                               line: 154,
                               column: 29,
                              },
                              end: Position {
                               line: 154,
                               column: 33,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "passwordaccess",
                           span: Span {
                            start: Position {
                             line: 155,
                             column: 11,
                            },
                            end: Position {
                             line: 155,
                             column: 25,
                            },
                           },
                          },
                         ),
                        ],
                        to: IfThenElse(
                         IfThenElse {
                          predicate: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "config",
                              span: Span {
                               start: Position {
                                line: 155,
                                column: 31,
                               },
                               end: Position {
                                line: 155,
                                column: 37,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "genPasswd",
                               span: Span {
                                start: Position {
                                 line: 155,
                                 column: 38,
                                },
                                end: Position {
                                 line: 155,
                                 column: 47,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                          then: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "generate",
                               span: Span {
                                start: Position {
                                 line: 155,
                                 column: 54,
                                },
                                end: Position {
                                 line: 155,
                                 column: 62,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 155,
                              column: 53,
                             },
                             end: Position {
                              line: 155,
                              column: 63,
                             },
                            },
                           },
                          ),
                          else_: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "prompt",
                               span: Span {
                                start: Position {
                                 line: 155,
                                 column: 70,
                                },
                                end: Position {
                                 line: 155,
                                 column: 76,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 155,
                              column: 69,
                             },
                             end: Position {
                              line: 155,
                              column: 77,
                             },
                            },
                           },
                          ),
                          span: Span {
                           start: Position {
                            line: 155,
                            column: 28,
                           },
                           end: Position {
                            line: 155,
                            column: 77,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "passworddir",
                           span: Span {
                            start: Position {
                             line: 156,
                             column: 11,
                            },
                            end: Position {
                             line: 156,
                             column: 22,
                            },
                           },
                          },
                         ),
                        ],
                        to: IndentedString(
                         IndentedString {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "\"",
                             span: Span {
                              start: Position {
                               line: 156,
                               column: 27,
                              },
                              end: Position {
                               line: 156,
                               column: 28,
                              },
                             },
                            },
                           ),
                           Interpolation(
                            PartInterpolation {
                             expression: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "config",
                                 span: Span {
                                  start: Position {
                                   line: 156,
                                   column: 30,
                                  },
                                  end: Position {
                                   line: 156,
                                   column: 36,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "passwdDir",
                                  span: Span {
                                   start: Position {
                                    line: 156,
                                    column: 37,
                                   },
                                   end: Position {
                                    line: 156,
                                    column: 46,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           Raw(
                            PartRaw {
                             content: "\"",
                             span: Span {
                              start: Position {
                               line: 156,
                               column: 27,
                              },
                              end: Position {
                               line: 156,
                               column: 48,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 156,
                            column: 25,
                           },
                           end: Position {
                            line: 156,
                            column: 50,
                           },
                          },
                         },
                        ),
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 150,
                       column: 9,
                      },
                      end: Position {
                       line: 157,
                       column: 10,
                      },
                     },
                    },
                   ),
                   operator: Update,
                   right: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "optionalAttrs",
                       span: Span {
                        start: Position {
                         line: 157,
                         column: 14,
                        },
                        end: Position {
                         line: 157,
                         column: 27,
                        },
                       },
                      },
                     ),
                     arguments: [
                      BinaryOperation(
                       BinaryOperation {
                        left: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "config",
                            span: Span {
                             start: Position {
                              line: 157,
                              column: 29,
                             },
                             end: Position {
                              line: 157,
                              column: 35,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "includeExclude",
                             span: Span {
                              start: Position {
                               line: 157,
                               column: 36,
                              },
                              end: Position {
                               line: 157,
                               column: 50,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        operator: NotEqualTo,
                        right: String(
                         String_ {
                          parts: [],
                          span: Span {
                           start: Position {
                            line: 157,
                            column: 52,
                           },
                           end: Position {
                            line: 157,
                            column: 54,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      Map(
                       Map {
                        recursive: false,
                        bindings: [
                         KeyValue(
                          BindingKeyValue {
                           from: [
                            Raw(
                             PartRaw {
                              content: "inclexcl",
                              span: Span {
                               start: Position {
                                line: 158,
                                column: 11,
                               },
                               end: Position {
                                line: 158,
                                column: 19,
                               },
                              },
                             },
                            ),
                           ],
                           to: IndentedString(
                            IndentedString {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "\"",
                                span: Span {
                                 start: Position {
                                  line: 158,
                                  column: 24,
                                 },
                                 end: Position {
                                  line: 158,
                                  column: 25,
                                 },
                                },
                               },
                              ),
                              Interpolation(
                               PartInterpolation {
                                expression: FunctionApplication(
                                 FunctionApplication {
                                  function: PropertyAccess(
                                   PropertyAccess {
                                    expression: Identifier(
                                     Identifier {
                                      id: "pkgs",
                                      span: Span {
                                       start: Position {
                                        line: 158,
                                        column: 27,
                                       },
                                       end: Position {
                                        line: 158,
                                        column: 31,
                                       },
                                      },
                                     },
                                    ),
                                    attribute_path: [
                                     Raw(
                                      PartRaw {
                                       content: "writeText",
                                       span: Span {
                                        start: Position {
                                         line: 158,
                                         column: 32,
                                        },
                                        end: Position {
                                         line: 158,
                                         column: 41,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    default: None,
                                   },
                                  ),
                                  arguments: [
                                   String(
                                    String_ {
                                     parts: [
                                      Raw(
                                       PartRaw {
                                        content: "inclexcl.dsm.sys",
                                        span: Span {
                                         start: Position {
                                          line: 158,
                                          column: 43,
                                         },
                                         end: Position {
                                          line: 158,
                                          column: 59,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     span: Span {
                                      start: Position {
                                       line: 158,
                                       column: 42,
                                      },
                                      end: Position {
                                       line: 158,
                                       column: 60,
                                      },
                                     },
                                    },
                                   ),
                                   PropertyAccess(
                                    PropertyAccess {
                                     expression: Identifier(
                                      Identifier {
                                       id: "config",
                                       span: Span {
                                        start: Position {
                                         line: 158,
                                         column: 61,
                                        },
                                        end: Position {
                                         line: 158,
                                         column: 67,
                                        },
                                       },
                                      },
                                     ),
                                     attribute_path: [
                                      Raw(
                                       PartRaw {
                                        content: "includeExclude",
                                        span: Span {
                                         start: Position {
                                          line: 158,
                                          column: 68,
                                         },
                                         end: Position {
                                          line: 158,
                                          column: 82,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     default: None,
                                    },
                                   ),
                                  ],
                                 },
                                ),
                               },
                              ),
                              Raw(
                               PartRaw {
                                content: "\"",
                                span: Span {
                                 start: Position {
                                  line: 158,
                                  column: 24,
                                 },
                                 end: Position {
                                  line: 158,
                                  column: 84,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 158,
                               column: 22,
                              },
                              end: Position {
                               line: 158,
                               column: 86,
                              },
                             },
                            },
                           ),
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 157,
                          column: 56,
                         },
                         end: Position {
                          line: 159,
                          column: 10,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                ],
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "config",
                 span: Span {
                  start: Position {
                   line: 161,
                   column: 5,
                  },
                  end: Position {
                   line: 161,
                   column: 11,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "text",
                 span: Span {
                  start: Position {
                   line: 161,
                   column: 12,
                  },
                  end: Position {
                   line: 161,
                   column: 16,
                  },
                 },
                },
               ),
              ],
              to: LetIn(
               LetIn {
                bindings: [
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "attrset",
                      span: Span {
                       start: Position {
                        line: 163,
                        column: 9,
                       },
                       end: Position {
                        line: 163,
                        column: 16,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "filterAttrs",
                       span: Span {
                        start: Position {
                         line: 163,
                         column: 19,
                        },
                        end: Position {
                         line: 163,
                         column: 30,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Function(
                       Function {
                        head: Simple(
                         FunctionHeadSimple {
                          identifier: "k",
                         },
                        ),
                        body: Function(
                         Function {
                          head: Simple(
                           FunctionHeadSimple {
                            identifier: "v",
                           },
                          ),
                          body: BinaryOperation(
                           BinaryOperation {
                            left: Identifier(
                             Identifier {
                              id: "v",
                              span: Span {
                               start: Position {
                                line: 163,
                                column: 38,
                               },
                               end: Position {
                                line: 163,
                                column: 39,
                               },
                              },
                             },
                            ),
                            operator: NotEqualTo,
                            right: Identifier(
                             Identifier {
                              id: "null",
                              span: Span {
                               start: Position {
                                line: 163,
                                column: 41,
                               },
                               end: Position {
                                line: 163,
                                column: 45,
                               },
                              },
                             },
                            ),
                           },
                          ),
                          span: Span {
                           start: Position {
                            line: 163,
                            column: 35,
                           },
                           end: Position {
                            line: 163,
                            column: 45,
                           },
                          },
                         },
                        ),
                        span: Span {
                         start: Position {
                          line: 163,
                          column: 32,
                         },
                         end: Position {
                          line: 163,
                          column: 45,
                         },
                        },
                       },
                      ),
                      PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "config",
                          span: Span {
                           start: Position {
                            line: 163,
                            column: 47,
                           },
                           end: Position {
                            line: 163,
                            column: 53,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "extraConfig",
                           span: Span {
                            start: Position {
                             line: 163,
                             column: 54,
                            },
                            end: Position {
                             line: 163,
                             column: 65,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "mkLine",
                      span: Span {
                       start: Position {
                        line: 164,
                        column: 9,
                       },
                       end: Position {
                        line: 164,
                        column: 15,
                       },
                      },
                     },
                    ),
                   ],
                   to: Function(
                    Function {
                     head: Simple(
                      FunctionHeadSimple {
                       identifier: "k",
                      },
                     ),
                     body: Function(
                      Function {
                       head: Simple(
                        FunctionHeadSimple {
                         identifier: "v",
                        },
                       ),
                       body: BinaryOperation(
                        BinaryOperation {
                         left: Identifier(
                          Identifier {
                           id: "k",
                           span: Span {
                            start: Position {
                             line: 164,
                             column: 24,
                            },
                            end: Position {
                             line: 164,
                             column: 25,
                            },
                           },
                          },
                         ),
                         operator: Addition,
                         right: FunctionApplication(
                          FunctionApplication {
                           function: Identifier(
                            Identifier {
                             id: "optionalString",
                             span: Span {
                              start: Position {
                               line: 164,
                               column: 28,
                              },
                              end: Position {
                               line: 164,
                               column: 42,
                              },
                             },
                            },
                           ),
                           arguments: [
                            BinaryOperation(
                             BinaryOperation {
                              left: Identifier(
                               Identifier {
                                id: "v",
                                span: Span {
                                 start: Position {
                                  line: 164,
                                  column: 44,
                                 },
                                 end: Position {
                                  line: 164,
                                  column: 45,
                                 },
                                },
                               },
                              ),
                              operator: NotEqualTo,
                              right: String(
                               String_ {
                                parts: [],
                                span: Span {
                                 start: Position {
                                  line: 164,
                                  column: 47,
                                 },
                                 end: Position {
                                  line: 164,
                                  column: 49,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                            String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "  ",
                                 span: Span {
                                  start: Position {
                                   line: 164,
                                   column: 52,
                                  },
                                  end: Position {
                                   line: 164,
                                   column: 58,
                                  },
                                 },
                                },
                               ),
                               Interpolation(
                                PartInterpolation {
                                 expression: Identifier(
                                  Identifier {
                                   id: "v",
                                   span: Span {
                                    start: Position {
                                     line: 164,
                                     column: 56,
                                    },
                                    end: Position {
                                     line: 164,
                                     column: 57,
                                    },
                                   },
                                  },
                                 ),
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 164,
                                column: 51,
                               },
                               end: Position {
                                line: 164,
                                column: 59,
                               },
                              },
                             },
                            ),
                           ],
                          },
                         ),
                        },
                       ),
                       span: Span {
                        start: Position {
                         line: 164,
                         column: 21,
                        },
                        end: Position {
                         line: 164,
                         column: 59,
                        },
                       },
                      },
                     ),
                     span: Span {
                      start: Position {
                       line: 164,
                       column: 18,
                      },
                      end: Position {
                       line: 164,
                       column: 59,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 KeyValue(
                  BindingKeyValue {
                   from: [
                    Raw(
                     PartRaw {
                      content: "lines",
                      span: Span {
                       start: Position {
                        line: 165,
                        column: 9,
                       },
                       end: Position {
                        line: 165,
                        column: 14,
                       },
                      },
                     },
                    ),
                   ],
                   to: FunctionApplication(
                    FunctionApplication {
                     function: Identifier(
                      Identifier {
                       id: "mapAttrsToList",
                       span: Span {
                        start: Position {
                         line: 165,
                         column: 17,
                        },
                        end: Position {
                         line: 165,
                         column: 31,
                        },
                       },
                      },
                     ),
                     arguments: [
                      Identifier(
                       Identifier {
                        id: "mkLine",
                        span: Span {
                         start: Position {
                          line: 165,
                          column: 32,
                         },
                         end: Position {
                          line: 165,
                          column: 38,
                         },
                        },
                       },
                      ),
                      Identifier(
                       Identifier {
                        id: "attrset",
                        span: Span {
                         start: Position {
                          line: 165,
                          column: 39,
                         },
                         end: Position {
                          line: 165,
                          column: 46,
                         },
                        },
                       },
                      ),
                     ],
                    },
                   ),
                  },
                 ),
                ],
                target: FunctionApplication(
                 FunctionApplication {
                  function: Identifier(
                   Identifier {
                    id: "concatStringsSep",
                    span: Span {
                     start: Position {
                      line: 167,
                      column: 9,
                     },
                     end: Position {
                      line: 167,
                      column: 25,
                     },
                    },
                   },
                  ),
                  arguments: [
                   String(
                    String_ {
                     parts: [
                      Raw(
                       PartRaw {
                        content: "\n",
                        span: Span {
                         start: Position {
                          line: 167,
                          column: 27,
                         },
                         end: Position {
                          line: 167,
                          column: 29,
                         },
                        },
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 167,
                       column: 26,
                      },
                      end: Position {
                       line: 167,
                       column: 30,
                      },
                     },
                    },
                   ),
                   Identifier(
                    Identifier {
                     id: "lines",
                     span: Span {
                      start: Position {
                       line: 167,
                       column: 31,
                      },
                      end: Position {
                       line: 167,
                       column: 36,
                      },
                     },
                    },
                   ),
                  ],
                 },
                ),
                span: Span {
                 start: Position {
                  line: 162,
                  column: 7,
                 },
                 end: Position {
                  line: 167,
                  column: 36,
                 },
                },
               },
              ),
             },
            ),
            KeyValue(
             BindingKeyValue {
              from: [
               Raw(
                PartRaw {
                 content: "config",
                 span: Span {
                  start: Position {
                   line: 168,
                   column: 5,
                  },
                  end: Position {
                   line: 168,
                   column: 11,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "stanza",
                 span: Span {
                  start: Position {
                   line: 168,
                   column: 12,
                  },
                  end: Position {
                   line: 168,
                   column: 18,
                  },
                 },
                },
               ),
              ],
              to: IndentedString(
               IndentedString {
                parts: [
                 Raw(
                  PartRaw {
                   content: "server  ",
                   span: Span {
                    start: Position {
                     line: 169,
                     column: 1,
                    },
                    end: Position {
                     line: 169,
                     column: 15,
                    },
                   },
                  },
                 ),
                 Interpolation(
                  PartInterpolation {
                   expression: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "config",
                       span: Span {
                        start: Position {
                         line: 169,
                         column: 17,
                        },
                        end: Position {
                         line: 169,
                         column: 23,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "name",
                        span: Span {
                         start: Position {
                          line: 169,
                          column: 24,
                         },
                         end: Position {
                          line: 169,
                          column: 28,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "\n",
                   span: Span {
                    start: Position {
                     line: 169,
                     column: 1,
                    },
                    end: Position {
                     line: 170,
                     column: 7,
                    },
                   },
                  },
                 ),
                 Interpolation(
                  PartInterpolation {
                   expression: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "config",
                       span: Span {
                        start: Position {
                         line: 170,
                         column: 9,
                        },
                        end: Position {
                         line: 170,
                         column: 15,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "text",
                        span: Span {
                         start: Position {
                          line: 170,
                          column: 16,
                         },
                         end: Position {
                          line: 170,
                          column: 20,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "\n",
                   span: Span {
                    start: Position {
                     line: 169,
                     column: 1,
                    },
                    end: Position {
                     line: 171,
                     column: 5,
                    },
                   },
                  },
                 ),
                ],
                span: Span {
                 start: Position {
                  line: 168,
                  column: 21,
                 },
                 end: Position {
                  line: 171,
                  column: 7,
                 },
                },
               },
              ),
             },
            ),
           ],
           span: Span {
            start: Position {
             line: 25,
             column: 42,
            },
            end: Position {
             line: 172,
             column: 4,
            },
           },
          },
         ),
         span: Span {
          start: Position {
           line: 25,
           column: 19,
          },
          end: Position {
           line: 172,
           column: 4,
          },
         },
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "options",
          span: Span {
           start: Position {
            line: 174,
            column: 3,
           },
           end: Position {
            line: 174,
            column: 10,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "programs",
          span: Span {
           start: Position {
            line: 174,
            column: 11,
           },
           end: Position {
            line: 174,
            column: 19,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "tsmClient",
          span: Span {
           start: Position {
            line: 174,
            column: 20,
           },
           end: Position {
            line: 174,
            column: 29,
           },
          },
         },
        ),
       ],
       to: Map(
        Map {
         recursive: false,
         bindings: [
          KeyValue(
           BindingKeyValue {
            from: [
             Raw(
              PartRaw {
               content: "enable",
               span: Span {
                start: Position {
                 line: 175,
                 column: 5,
                },
                end: Position {
                 line: 175,
                 column: 11,
                },
               },
              },
             ),
            ],
            to: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "mkEnableOption",
                span: Span {
                 start: Position {
                  line: 175,
                  column: 14,
                 },
                 end: Position {
                  line: 175,
                  column: 28,
                 },
                },
               },
              ),
              arguments: [
               FunctionApplication(
                FunctionApplication {
                 function: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "lib",
                     span: Span {
                      start: Position {
                       line: 175,
                       column: 30,
                      },
                      end: Position {
                       line: 175,
                       column: 33,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "mdDoc",
                      span: Span {
                       start: Position {
                        line: 175,
                        column: 34,
                       },
                       end: Position {
                        line: 175,
                        column: 39,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                 arguments: [
                  IndentedString(
                   IndentedString {
                    parts: [
                     Raw(
                      PartRaw {
                       content: "IBM Spectrum Protect (Tivoli Storage Manager, TSM)\nclient command line applications with a\nclient system-options file \"dsm.sys\"\n",
                       span: Span {
                        start: Position {
                         line: 176,
                         column: 1,
                        },
                        end: Position {
                         line: 179,
                         column: 5,
                        },
                       },
                      },
                     ),
                    ],
                    span: Span {
                     start: Position {
                      line: 175,
                      column: 40,
                     },
                     end: Position {
                      line: 179,
                      column: 7,
                     },
                    },
                   },
                  ),
                 ],
                },
               ),
              ],
             },
            ),
           },
          ),
          KeyValue(
           BindingKeyValue {
            from: [
             Raw(
              PartRaw {
               content: "servers",
               span: Span {
                start: Position {
                 line: 180,
                 column: 5,
                },
                end: Position {
                 line: 180,
                 column: 12,
                },
               },
              },
             ),
            ],
            to: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "mkOption",
                span: Span {
                 start: Position {
                  line: 180,
                  column: 15,
                 },
                 end: Position {
                  line: 180,
                  column: 23,
                 },
                },
               },
              ),
              arguments: [
               Map(
                Map {
                 recursive: false,
                 bindings: [
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "type",
                       span: Span {
                        start: Position {
                         line: 181,
                         column: 7,
                        },
                        end: Position {
                         line: 181,
                         column: 11,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: Identifier(
                       Identifier {
                        id: "attrsOf",
                        span: Span {
                         start: Position {
                          line: 181,
                          column: 14,
                         },
                         end: Position {
                          line: 181,
                          column: 21,
                         },
                        },
                       },
                      ),
                      arguments: [
                       FunctionApplication(
                        FunctionApplication {
                         function: Identifier(
                          Identifier {
                           id: "submodule",
                           span: Span {
                            start: Position {
                             line: 181,
                             column: 23,
                            },
                            end: Position {
                             line: 181,
                             column: 32,
                            },
                           },
                          },
                         ),
                         arguments: [
                          List(
                           List {
                            elements: [
                             Identifier(
                              Identifier {
                               id: "serverOptions",
                               span: Span {
                                start: Position {
                                 line: 181,
                                 column: 35,
                                },
                                end: Position {
                                 line: 181,
                                 column: 48,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 181,
                              column: 33,
                             },
                             end: Position {
                              line: 181,
                              column: 50,
                             },
                            },
                           },
                          ),
                         ],
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "default",
                       span: Span {
                        start: Position {
                         line: 182,
                         column: 7,
                        },
                        end: Position {
                         line: 182,
                         column: 14,
                        },
                       },
                      },
                     ),
                    ],
                    to: Map(
                     Map {
                      recursive: false,
                      bindings: [],
                      span: Span {
                       start: Position {
                        line: 182,
                        column: 17,
                       },
                       end: Position {
                        line: 182,
                        column: 19,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "example",
                       span: Span {
                        start: Position {
                         line: 183,
                         column: 7,
                        },
                        end: Position {
                         line: 183,
                         column: 14,
                        },
                       },
                      },
                     ),
                     Raw(
                      PartRaw {
                       content: "mainTsmServer",
                       span: Span {
                        start: Position {
                         line: 183,
                         column: 15,
                        },
                        end: Position {
                         line: 183,
                         column: 28,
                        },
                       },
                      },
                     ),
                    ],
                    to: Map(
                     Map {
                      recursive: false,
                      bindings: [
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "server",
                            span: Span {
                             start: Position {
                              line: 184,
                              column: 9,
                             },
                             end: Position {
                              line: 184,
                              column: 15,
                             },
                            },
                           },
                          ),
                         ],
                         to: String(
                          String_ {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "tsmserver.company.com",
                              span: Span {
                               start: Position {
                                line: 184,
                                column: 19,
                               },
                               end: Position {
                                line: 184,
                                column: 40,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 184,
                             column: 18,
                            },
                            end: Position {
                             line: 184,
                             column: 41,
                            },
                           },
                          },
                         ),
                        },
                       ),
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "node",
                            span: Span {
                             start: Position {
                              line: 185,
                              column: 9,
                             },
                             end: Position {
                              line: 185,
                              column: 13,
                             },
                            },
                           },
                          ),
                         ],
                         to: String(
                          String_ {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "MY-TSM-NODE",
                              span: Span {
                               start: Position {
                                line: 185,
                                column: 17,
                               },
                               end: Position {
                                line: 185,
                                column: 28,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 185,
                             column: 16,
                            },
                            end: Position {
                             line: 185,
                             column: 29,
                            },
                           },
                          },
                         ),
                        },
                       ),
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "extraConfig",
                            span: Span {
                             start: Position {
                              line: 186,
                              column: 9,
                             },
                             end: Position {
                              line: 186,
                              column: 20,
                             },
                            },
                           },
                          ),
                          Raw(
                           PartRaw {
                            content: "compression",
                            span: Span {
                             start: Position {
                              line: 186,
                              column: 21,
                             },
                             end: Position {
                              line: 186,
                              column: 32,
                             },
                            },
                           },
                          ),
                         ],
                         to: String(
                          String_ {
                           parts: [
                            Raw(
                             PartRaw {
                              content: "yes",
                              span: Span {
                               start: Position {
                                line: 186,
                                column: 36,
                               },
                               end: Position {
                                line: 186,
                                column: 39,
                               },
                              },
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 186,
                             column: 35,
                            },
                            end: Position {
                             line: 186,
                             column: 40,
                            },
                           },
                          },
                         ),
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 183,
                        column: 31,
                       },
                       end: Position {
                        line: 187,
                        column: 8,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "description",
                       span: Span {
                        start: Position {
                         line: 188,
                         column: 7,
                        },
                        end: Position {
                         line: 188,
                         column: 18,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 188,
                            column: 21,
                           },
                           end: Position {
                            line: 188,
                            column: 24,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "mdDoc",
                           span: Span {
                            start: Position {
                             line: 188,
                             column: 25,
                            },
                            end: Position {
                             line: 188,
                             column: 30,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       IndentedString(
                        IndentedString {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "Server definitions (\"stanzas\")\nfor the client system-options file.\n",
                            span: Span {
                             start: Position {
                              line: 189,
                              column: 1,
                             },
                             end: Position {
                              line: 191,
                              column: 7,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 188,
                           column: 31,
                          },
                          end: Position {
                           line: 191,
                           column: 9,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 180,
                   column: 24,
                  },
                  end: Position {
                   line: 192,
                   column: 6,
                  },
                 },
                },
               ),
              ],
             },
            ),
           },
          ),
          KeyValue(
           BindingKeyValue {
            from: [
             Raw(
              PartRaw {
               content: "defaultServername",
               span: Span {
                start: Position {
                 line: 193,
                 column: 5,
                },
                end: Position {
                 line: 193,
                 column: 22,
                },
               },
              },
             ),
            ],
            to: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "mkOption",
                span: Span {
                 start: Position {
                  line: 193,
                  column: 25,
                 },
                 end: Position {
                  line: 193,
                  column: 33,
                 },
                },
               },
              ),
              arguments: [
               Map(
                Map {
                 recursive: false,
                 bindings: [
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "type",
                       span: Span {
                        start: Position {
                         line: 194,
                         column: 7,
                        },
                        end: Position {
                         line: 194,
                         column: 11,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: Identifier(
                       Identifier {
                        id: "nullOr",
                        span: Span {
                         start: Position {
                          line: 194,
                          column: 14,
                         },
                         end: Position {
                          line: 194,
                          column: 20,
                         },
                        },
                       },
                      ),
                      arguments: [
                       Identifier(
                        Identifier {
                         id: "servernameType",
                         span: Span {
                          start: Position {
                           line: 194,
                           column: 21,
                          },
                          end: Position {
                           line: 194,
                           column: 35,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "default",
                       span: Span {
                        start: Position {
                         line: 195,
                         column: 7,
                        },
                        end: Position {
                         line: 195,
                         column: 14,
                        },
                       },
                      },
                     ),
                    ],
                    to: Identifier(
                     Identifier {
                      id: "null",
                      span: Span {
                       start: Position {
                        line: 195,
                        column: 17,
                       },
                       end: Position {
                        line: 195,
                        column: 21,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "example",
                       span: Span {
                        start: Position {
                         line: 196,
                         column: 7,
                        },
                        end: Position {
                         line: 196,
                         column: 14,
                        },
                       },
                      },
                     ),
                    ],
                    to: String(
                     String_ {
                      parts: [
                       Raw(
                        PartRaw {
                         content: "mainTsmServer",
                         span: Span {
                          start: Position {
                           line: 196,
                           column: 18,
                          },
                          end: Position {
                           line: 196,
                           column: 31,
                          },
                         },
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 196,
                        column: 17,
                       },
                       end: Position {
                        line: 196,
                        column: 32,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "description",
                       span: Span {
                        start: Position {
                         line: 197,
                         column: 7,
                        },
                        end: Position {
                         line: 197,
                         column: 18,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 197,
                            column: 21,
                           },
                           end: Position {
                            line: 197,
                            column: 24,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "mdDoc",
                           span: Span {
                            start: Position {
                             line: 197,
                             column: 25,
                            },
                            end: Position {
                             line: 197,
                             column: 30,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       IndentedString(
                        IndentedString {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "If multiple server stanzas are declared with\n{option}`programs.tsmClient.servers`,\nthis option may be used to name a default\nserver stanza that IBM TSM uses in the absence of\na user-defined {file}`dsm.opt` file.\nThis option translates to a\n`defaultserver` configuration line.\n",
                            span: Span {
                             start: Position {
                              line: 198,
                              column: 1,
                             },
                             end: Position {
                              line: 205,
                              column: 7,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 197,
                           column: 31,
                          },
                          end: Position {
                           line: 205,
                           column: 9,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 193,
                   column: 34,
                  },
                  end: Position {
                   line: 206,
                   column: 6,
                  },
                 },
                },
               ),
              ],
             },
            ),
           },
          ),
          KeyValue(
           BindingKeyValue {
            from: [
             Raw(
              PartRaw {
               content: "dsmSysText",
               span: Span {
                start: Position {
                 line: 207,
                 column: 5,
                },
                end: Position {
                 line: 207,
                 column: 15,
                },
               },
              },
             ),
            ],
            to: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "mkOption",
                span: Span {
                 start: Position {
                  line: 207,
                  column: 18,
                 },
                 end: Position {
                  line: 207,
                  column: 26,
                 },
                },
               },
              ),
              arguments: [
               Map(
                Map {
                 recursive: false,
                 bindings: [
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "type",
                       span: Span {
                        start: Position {
                         line: 208,
                         column: 7,
                        },
                        end: Position {
                         line: 208,
                         column: 11,
                        },
                       },
                      },
                     ),
                    ],
                    to: Identifier(
                     Identifier {
                      id: "lines",
                      span: Span {
                       start: Position {
                        line: 208,
                        column: 14,
                       },
                       end: Position {
                        line: 208,
                        column: 19,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "readOnly",
                       span: Span {
                        start: Position {
                         line: 209,
                         column: 7,
                        },
                        end: Position {
                         line: 209,
                         column: 15,
                        },
                       },
                      },
                     ),
                    ],
                    to: Identifier(
                     Identifier {
                      id: "true",
                      span: Span {
                       start: Position {
                        line: 209,
                        column: 18,
                       },
                       end: Position {
                        line: 209,
                        column: 22,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "description",
                       span: Span {
                        start: Position {
                         line: 210,
                         column: 7,
                        },
                        end: Position {
                         line: 210,
                         column: 18,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 210,
                            column: 21,
                           },
                           end: Position {
                            line: 210,
                            column: 24,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "mdDoc",
                           span: Span {
                            start: Position {
                             line: 210,
                             column: 25,
                            },
                            end: Position {
                             line: 210,
                             column: 30,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       IndentedString(
                        IndentedString {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "This configuration key contains the effective text\nof the client system-options file \"dsm.sys\".\nIt should not be changed, but may be\nused to feed the configuration into other\nTSM-depending packages used on the system.\n",
                            span: Span {
                             start: Position {
                              line: 211,
                              column: 1,
                             },
                             end: Position {
                              line: 216,
                              column: 7,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 210,
                           column: 31,
                          },
                          end: Position {
                           line: 216,
                           column: 9,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 207,
                   column: 27,
                  },
                  end: Position {
                   line: 217,
                   column: 6,
                  },
                 },
                },
               ),
              ],
             },
            ),
           },
          ),
          KeyValue(
           BindingKeyValue {
            from: [
             Raw(
              PartRaw {
               content: "package",
               span: Span {
                start: Position {
                 line: 218,
                 column: 5,
                },
                end: Position {
                 line: 218,
                 column: 12,
                },
               },
              },
             ),
            ],
            to: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "mkOption",
                span: Span {
                 start: Position {
                  line: 218,
                  column: 15,
                 },
                 end: Position {
                  line: 218,
                  column: 23,
                 },
                },
               },
              ),
              arguments: [
               Map(
                Map {
                 recursive: false,
                 bindings: [
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "type",
                       span: Span {
                        start: Position {
                         line: 219,
                         column: 7,
                        },
                        end: Position {
                         line: 219,
                         column: 11,
                        },
                       },
                      },
                     ),
                    ],
                    to: Identifier(
                     Identifier {
                      id: "package",
                      span: Span {
                       start: Position {
                        line: 219,
                        column: 14,
                       },
                       end: Position {
                        line: 219,
                        column: 21,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "default",
                       span: Span {
                        start: Position {
                         line: 220,
                         column: 7,
                        },
                        end: Position {
                         line: 220,
                         column: 14,
                        },
                       },
                      },
                     ),
                    ],
                    to: PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "pkgs",
                        span: Span {
                         start: Position {
                          line: 220,
                          column: 17,
                         },
                         end: Position {
                          line: 220,
                          column: 21,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "tsm-client",
                         span: Span {
                          start: Position {
                           line: 220,
                           column: 22,
                          },
                          end: Position {
                           line: 220,
                           column: 32,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "defaultText",
                       span: Span {
                        start: Position {
                         line: 221,
                         column: 7,
                        },
                        end: Position {
                         line: 221,
                         column: 18,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: Identifier(
                       Identifier {
                        id: "literalExpression",
                        span: Span {
                         start: Position {
                          line: 221,
                          column: 21,
                         },
                         end: Position {
                          line: 221,
                          column: 38,
                         },
                        },
                       },
                      ),
                      arguments: [
                       String(
                        String_ {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "pkgs.tsm-client",
                            span: Span {
                             start: Position {
                              line: 221,
                              column: 40,
                             },
                             end: Position {
                              line: 221,
                              column: 55,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 221,
                           column: 39,
                          },
                          end: Position {
                           line: 221,
                           column: 56,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "example",
                       span: Span {
                        start: Position {
                         line: 222,
                         column: 7,
                        },
                        end: Position {
                         line: 222,
                         column: 14,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: Identifier(
                       Identifier {
                        id: "literalExpression",
                        span: Span {
                         start: Position {
                          line: 222,
                          column: 17,
                         },
                         end: Position {
                          line: 222,
                          column: 34,
                         },
                        },
                       },
                      ),
                      arguments: [
                       String(
                        String_ {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "pkgs.tsm-client-withGui",
                            span: Span {
                             start: Position {
                              line: 222,
                              column: 36,
                             },
                             end: Position {
                              line: 222,
                              column: 59,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 222,
                           column: 35,
                          },
                          end: Position {
                           line: 222,
                           column: 60,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "description",
                       span: Span {
                        start: Position {
                         line: 223,
                         column: 7,
                        },
                        end: Position {
                         line: 223,
                         column: 18,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 223,
                            column: 21,
                           },
                           end: Position {
                            line: 223,
                            column: 24,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "mdDoc",
                           span: Span {
                            start: Position {
                             line: 223,
                             column: 25,
                            },
                            end: Position {
                             line: 223,
                             column: 30,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       IndentedString(
                        IndentedString {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "The TSM client derivation to be\nadded to the system environment.\nIt will be used with `.override`\nto add paths to the client system-options file.\n",
                            span: Span {
                             start: Position {
                              line: 224,
                              column: 1,
                             },
                             end: Position {
                              line: 228,
                              column: 7,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 223,
                           column: 31,
                          },
                          end: Position {
                           line: 228,
                           column: 9,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 218,
                   column: 24,
                  },
                  end: Position {
                   line: 229,
                   column: 6,
                  },
                 },
                },
               ),
              ],
             },
            ),
           },
          ),
          KeyValue(
           BindingKeyValue {
            from: [
             Raw(
              PartRaw {
               content: "wrappedPackage",
               span: Span {
                start: Position {
                 line: 230,
                 column: 5,
                },
                end: Position {
                 line: 230,
                 column: 19,
                },
               },
              },
             ),
            ],
            to: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "mkOption",
                span: Span {
                 start: Position {
                  line: 230,
                  column: 22,
                 },
                 end: Position {
                  line: 230,
                  column: 30,
                 },
                },
               },
              ),
              arguments: [
               Map(
                Map {
                 recursive: false,
                 bindings: [
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "type",
                       span: Span {
                        start: Position {
                         line: 231,
                         column: 7,
                        },
                        end: Position {
                         line: 231,
                         column: 11,
                        },
                       },
                      },
                     ),
                    ],
                    to: Identifier(
                     Identifier {
                      id: "package",
                      span: Span {
                       start: Position {
                        line: 231,
                        column: 14,
                       },
                       end: Position {
                        line: 231,
                        column: 21,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "readOnly",
                       span: Span {
                        start: Position {
                         line: 232,
                         column: 7,
                        },
                        end: Position {
                         line: 232,
                         column: 15,
                        },
                       },
                      },
                     ),
                    ],
                    to: Identifier(
                     Identifier {
                      id: "true",
                      span: Span {
                       start: Position {
                        line: 232,
                        column: 18,
                       },
                       end: Position {
                        line: 232,
                        column: 22,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  KeyValue(
                   BindingKeyValue {
                    from: [
                     Raw(
                      PartRaw {
                       content: "description",
                       span: Span {
                        start: Position {
                         line: 233,
                         column: 7,
                        },
                        end: Position {
                         line: 233,
                         column: 18,
                        },
                       },
                      },
                     ),
                    ],
                    to: FunctionApplication(
                     FunctionApplication {
                      function: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "lib",
                          span: Span {
                           start: Position {
                            line: 233,
                            column: 21,
                           },
                           end: Position {
                            line: 233,
                            column: 24,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "mdDoc",
                           span: Span {
                            start: Position {
                             line: 233,
                             column: 25,
                            },
                            end: Position {
                             line: 233,
                             column: 30,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      arguments: [
                       IndentedString(
                        IndentedString {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "The TSM client derivation, wrapped with the path\nto the client system-options file \"dsm.sys\".\nThis option is to provide the effective derivation\nfor other modules that want to call TSM executables.\n",
                            span: Span {
                             start: Position {
                              line: 234,
                              column: 1,
                             },
                             end: Position {
                              line: 238,
                              column: 7,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 233,
                           column: 31,
                          },
                          end: Position {
                           line: 238,
                           column: 9,
                          },
                         },
                        },
                       ),
                      ],
                     },
                    ),
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 230,
                   column: 31,
                  },
                  end: Position {
                   line: 239,
                   column: 6,
                  },
                 },
                },
               ),
              ],
             },
            ),
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 174,
           column: 32,
          },
          end: Position {
           line: 240,
           column: 4,
          },
         },
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "cfg",
          span: Span {
           start: Position {
            line: 242,
            column: 3,
           },
           end: Position {
            line: 242,
            column: 6,
           },
          },
         },
        ),
       ],
       to: PropertyAccess(
        PropertyAccess {
         expression: Identifier(
          Identifier {
           id: "config",
           span: Span {
            start: Position {
             line: 242,
             column: 9,
            },
            end: Position {
             line: 242,
             column: 15,
            },
           },
          },
         ),
         attribute_path: [
          Raw(
           PartRaw {
            content: "programs",
            span: Span {
             start: Position {
              line: 242,
              column: 16,
             },
             end: Position {
              line: 242,
              column: 24,
             },
            },
           },
          ),
          Raw(
           PartRaw {
            content: "tsmClient",
            span: Span {
             start: Position {
              line: 242,
              column: 25,
             },
             end: Position {
              line: 242,
              column: 34,
             },
            },
           },
          ),
         ],
         default: None,
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "assertions",
          span: Span {
           start: Position {
            line: 244,
            column: 3,
           },
           end: Position {
            line: 244,
            column: 13,
           },
          },
         },
        ),
       ],
       to: List(
        List {
         elements: [
          Map(
           Map {
            recursive: false,
            bindings: [
             KeyValue(
              BindingKeyValue {
               from: [
                Raw(
                 PartRaw {
                  content: "assertion",
                  span: Span {
                   start: Position {
                    line: 246,
                    column: 7,
                   },
                   end: Position {
                    line: 246,
                    column: 16,
                   },
                  },
                 },
                ),
               ],
               to: FunctionApplication(
                FunctionApplication {
                 function: Identifier(
                  Identifier {
                   id: "checkIUnique",
                   span: Span {
                    start: Position {
                     line: 246,
                     column: 19,
                    },
                    end: Position {
                     line: 246,
                     column: 31,
                    },
                   },
                  },
                 ),
                 arguments: [
                  FunctionApplication(
                   FunctionApplication {
                    function: Identifier(
                     Identifier {
                      id: "mapAttrsToList",
                      span: Span {
                       start: Position {
                        line: 246,
                        column: 33,
                       },
                       end: Position {
                        line: 246,
                        column: 47,
                       },
                      },
                     },
                    ),
                    arguments: [
                     Function(
                      Function {
                       head: Simple(
                        FunctionHeadSimple {
                         identifier: "k",
                        },
                       ),
                       body: Function(
                        Function {
                         head: Simple(
                          FunctionHeadSimple {
                           identifier: "v",
                          },
                         ),
                         body: PropertyAccess(
                          PropertyAccess {
                           expression: Identifier(
                            Identifier {
                             id: "v",
                             span: Span {
                              start: Position {
                               line: 246,
                               column: 55,
                              },
                              end: Position {
                               line: 246,
                               column: 56,
                              },
                             },
                            },
                           ),
                           attribute_path: [
                            Raw(
                             PartRaw {
                              content: "name",
                              span: Span {
                               start: Position {
                                line: 246,
                                column: 57,
                               },
                               end: Position {
                                line: 246,
                                column: 61,
                               },
                              },
                             },
                            ),
                           ],
                           default: None,
                          },
                         ),
                         span: Span {
                          start: Position {
                           line: 246,
                           column: 52,
                          },
                          end: Position {
                           line: 246,
                           column: 61,
                          },
                         },
                        },
                       ),
                       span: Span {
                        start: Position {
                         line: 246,
                         column: 49,
                        },
                        end: Position {
                         line: 246,
                         column: 61,
                        },
                       },
                      },
                     ),
                     PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "cfg",
                         span: Span {
                          start: Position {
                           line: 246,
                           column: 63,
                          },
                          end: Position {
                           line: 246,
                           column: 66,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "servers",
                          span: Span {
                           start: Position {
                            line: 246,
                            column: 67,
                           },
                           end: Position {
                            line: 246,
                            column: 74,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                    ],
                   },
                  ),
                 ],
                },
               ),
              },
             ),
             KeyValue(
              BindingKeyValue {
               from: [
                Raw(
                 PartRaw {
                  content: "message",
                  span: Span {
                   start: Position {
                    line: 247,
                    column: 7,
                   },
                   end: Position {
                    line: 247,
                    column: 14,
                   },
                  },
                 },
                ),
               ],
               to: IndentedString(
                IndentedString {
                 parts: [
                  Raw(
                   PartRaw {
                    content: "TSM servernames contain duplicate name\n(note that case doesn't matter!)\n",
                    span: Span {
                     start: Position {
                      line: 248,
                      column: 1,
                     },
                     end: Position {
                      line: 250,
                      column: 7,
                     },
                    },
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 247,
                   column: 17,
                  },
                  end: Position {
                   line: 250,
                   column: 9,
                  },
                 },
                },
               ),
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 245,
              column: 5,
             },
             end: Position {
              line: 251,
              column: 6,
             },
            },
           },
          ),
          Map(
           Map {
            recursive: false,
            bindings: [
             KeyValue(
              BindingKeyValue {
               from: [
                Raw(
                 PartRaw {
                  content: "assertion",
                  span: Span {
                   start: Position {
                    line: 253,
                    column: 7,
                   },
                   end: Position {
                    line: 253,
                    column: 16,
                   },
                  },
                 },
                ),
               ],
               to: BinaryOperation(
                BinaryOperation {
                 left: BinaryOperation(
                  BinaryOperation {
                   left: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "cfg",
                       span: Span {
                        start: Position {
                         line: 253,
                         column: 20,
                        },
                        end: Position {
                         line: 253,
                         column: 23,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "defaultServername",
                        span: Span {
                         start: Position {
                          line: 253,
                          column: 24,
                         },
                         end: Position {
                          line: 253,
                          column: 41,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   operator: NotEqualTo,
                   right: Identifier(
                    Identifier {
                     id: "null",
                     span: Span {
                      start: Position {
                       line: 253,
                       column: 43,
                      },
                      end: Position {
                       line: 253,
                       column: 47,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 operator: Implication,
                 right: FunctionApplication(
                  FunctionApplication {
                   function: Identifier(
                    Identifier {
                     id: "hasAttr",
                     span: Span {
                      start: Position {
                       line: 253,
                       column: 51,
                      },
                      end: Position {
                       line: 253,
                       column: 58,
                      },
                     },
                    },
                   ),
                   arguments: [
                    PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "cfg",
                        span: Span {
                         start: Position {
                          line: 253,
                          column: 59,
                         },
                         end: Position {
                          line: 253,
                          column: 62,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "defaultServername",
                         span: Span {
                          start: Position {
                           line: 253,
                           column: 63,
                          },
                          end: Position {
                           line: 253,
                           column: 80,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                    PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "cfg",
                        span: Span {
                         start: Position {
                          line: 253,
                          column: 81,
                         },
                         end: Position {
                          line: 253,
                          column: 84,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "servers",
                         span: Span {
                          start: Position {
                           line: 253,
                           column: 85,
                          },
                          end: Position {
                           line: 253,
                           column: 92,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                   ],
                  },
                 ),
                },
               ),
              },
             ),
             KeyValue(
              BindingKeyValue {
               from: [
                Raw(
                 PartRaw {
                  content: "message",
                  span: Span {
                   start: Position {
                    line: 254,
                    column: 7,
                   },
                   end: Position {
                    line: 254,
                    column: 14,
                   },
                  },
                 },
                ),
               ],
               to: String(
                String_ {
                 parts: [
                  Raw(
                   PartRaw {
                    content: "TSM defaultServername not found in list of servers",
                    span: Span {
                     start: Position {
                      line: 254,
                      column: 18,
                     },
                     end: Position {
                      line: 254,
                      column: 68,
                     },
                    },
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 254,
                   column: 17,
                  },
                  end: Position {
                   line: 254,
                   column: 69,
                  },
                 },
                },
               ),
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 252,
              column: 5,
             },
             end: Position {
              line: 255,
              column: 6,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 244,
           column: 16,
          },
          end: Position {
           line: 256,
           column: 4,
          },
         },
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "dsmSysText",
          span: Span {
           start: Position {
            line: 258,
            column: 3,
           },
           end: Position {
            line: 258,
            column: 13,
           },
          },
         },
        ),
       ],
       to: IndentedString(
        IndentedString {
         parts: [
          Raw(
           PartRaw {
            content: "****  IBM Spectrum Protect (Tivoli Storage Manager)\n****  client system-options file \"dsm.sys\".\n****  Do not edit!\n****  This file is generated by NixOS configuration.\n\n",
            span: Span {
             start: Position {
              line: 259,
              column: 1,
             },
             end: Position {
              line: 264,
              column: 5,
             },
            },
           },
          ),
          Interpolation(
           PartInterpolation {
            expression: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "optionalString",
                span: Span {
                 start: Position {
                  line: 264,
                  column: 7,
                 },
                 end: Position {
                  line: 264,
                  column: 21,
                 },
                },
               },
              ),
              arguments: [
               BinaryOperation(
                BinaryOperation {
                 left: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "cfg",
                     span: Span {
                      start: Position {
                       line: 264,
                       column: 23,
                      },
                      end: Position {
                       line: 264,
                       column: 26,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "defaultServername",
                      span: Span {
                       start: Position {
                        line: 264,
                        column: 27,
                       },
                       end: Position {
                        line: 264,
                        column: 44,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                 operator: NotEqualTo,
                 right: Identifier(
                  Identifier {
                   id: "null",
                   span: Span {
                    start: Position {
                     line: 264,
                     column: 46,
                    },
                    end: Position {
                     line: 264,
                     column: 50,
                    },
                   },
                  },
                 ),
                },
               ),
               String(
                String_ {
                 parts: [
                  Raw(
                   PartRaw {
                    content: "defaultserver  ",
                    span: Span {
                     start: Position {
                      line: 264,
                      column: 53,
                     },
                     end: Position {
                      line: 264,
                      column: 92,
                     },
                    },
                   },
                  ),
                  Interpolation(
                   PartInterpolation {
                    expression: PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "cfg",
                        span: Span {
                         start: Position {
                          line: 264,
                          column: 70,
                         },
                         end: Position {
                          line: 264,
                          column: 73,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "defaultServername",
                         span: Span {
                          start: Position {
                           line: 264,
                           column: 74,
                          },
                          end: Position {
                           line: 264,
                           column: 91,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 264,
                   column: 52,
                  },
                  end: Position {
                   line: 264,
                   column: 93,
                  },
                 },
                },
               ),
              ],
             },
            ),
           },
          ),
          Raw(
           PartRaw {
            content: "\n\n",
            span: Span {
             start: Position {
              line: 259,
              column: 1,
             },
             end: Position {
              line: 266,
              column: 5,
             },
            },
           },
          ),
          Interpolation(
           PartInterpolation {
            expression: FunctionApplication(
             FunctionApplication {
              function: Identifier(
               Identifier {
                id: "concatStringsSep",
                span: Span {
                 start: Position {
                  line: 266,
                  column: 7,
                 },
                 end: Position {
                  line: 266,
                  column: 23,
                 },
                },
               },
              ),
              arguments: [
               String(
                String_ {
                 parts: [
                  Raw(
                   PartRaw {
                    content: "\n",
                    span: Span {
                     start: Position {
                      line: 266,
                      column: 25,
                     },
                     end: Position {
                      line: 266,
                      column: 27,
                     },
                    },
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 266,
                   column: 24,
                  },
                  end: Position {
                   line: 266,
                   column: 28,
                  },
                 },
                },
               ),
               FunctionApplication(
                FunctionApplication {
                 function: Identifier(
                  Identifier {
                   id: "mapAttrsToList",
                   span: Span {
                    start: Position {
                     line: 266,
                     column: 30,
                    },
                    end: Position {
                     line: 266,
                     column: 44,
                    },
                   },
                  },
                 ),
                 arguments: [
                  Function(
                   Function {
                    head: Simple(
                     FunctionHeadSimple {
                      identifier: "k",
                     },
                    ),
                    body: Function(
                     Function {
                      head: Simple(
                       FunctionHeadSimple {
                        identifier: "v",
                       },
                      ),
                      body: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "v",
                          span: Span {
                           start: Position {
                            line: 266,
                            column: 52,
                           },
                           end: Position {
                            line: 266,
                            column: 53,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "stanza",
                           span: Span {
                            start: Position {
                             line: 266,
                             column: 54,
                            },
                            end: Position {
                             line: 266,
                             column: 60,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      span: Span {
                       start: Position {
                        line: 266,
                        column: 49,
                       },
                       end: Position {
                        line: 266,
                        column: 60,
                       },
                      },
                     },
                    ),
                    span: Span {
                     start: Position {
                      line: 266,
                      column: 46,
                     },
                     end: Position {
                      line: 266,
                      column: 60,
                     },
                    },
                   },
                  ),
                  PropertyAccess(
                   PropertyAccess {
                    expression: Identifier(
                     Identifier {
                      id: "cfg",
                      span: Span {
                       start: Position {
                        line: 266,
                        column: 62,
                       },
                       end: Position {
                        line: 266,
                        column: 65,
                       },
                      },
                     },
                    ),
                    attribute_path: [
                     Raw(
                      PartRaw {
                       content: "servers",
                       span: Span {
                        start: Position {
                         line: 266,
                         column: 66,
                        },
                        end: Position {
                         line: 266,
                         column: 73,
                        },
                       },
                      },
                     ),
                    ],
                    default: None,
                   },
                  ),
                 ],
                },
               ),
              ],
             },
            ),
           },
          ),
          Raw(
           PartRaw {
            content: "\n",
            span: Span {
             start: Position {
              line: 259,
              column: 1,
             },
             end: Position {
              line: 267,
              column: 3,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 258,
           column: 16,
          },
          end: Position {
           line: 267,
           column: 5,
          },
         },
        },
       ),
      },
     ),
    ],
    target: Map(
     Map {
      recursive: false,
      bindings: [
       Inherit(
        BindingInherit {
         from: None,
         attributes: [
          Raw(
           PartRaw {
            content: "options",
            span: Span {
             start: Position {
              line: 273,
              column: 11,
             },
             end: Position {
              line: 273,
              column: 18,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 271,
           column: 2,
          },
          end: Position {
           line: 273,
           column: 19,
          },
         },
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "config",
            span: Span {
             start: Position {
              line: 275,
              column: 3,
             },
             end: Position {
              line: 275,
              column: 9,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: Identifier(
            Identifier {
             id: "mkIf",
             span: Span {
              start: Position {
               line: 275,
               column: 12,
              },
              end: Position {
               line: 275,
               column: 16,
              },
             },
            },
           ),
           arguments: [
            PropertyAccess(
             PropertyAccess {
              expression: Identifier(
               Identifier {
                id: "cfg",
                span: Span {
                 start: Position {
                  line: 275,
                  column: 17,
                 },
                 end: Position {
                  line: 275,
                  column: 20,
                 },
                },
               },
              ),
              attribute_path: [
               Raw(
                PartRaw {
                 content: "enable",
                 span: Span {
                  start: Position {
                   line: 275,
                   column: 21,
                  },
                  end: Position {
                   line: 275,
                   column: 27,
                  },
                 },
                },
               ),
              ],
              default: None,
             },
            ),
            Map(
             Map {
              recursive: false,
              bindings: [
               Inherit(
                BindingInherit {
                 from: None,
                 attributes: [
                  Raw(
                   PartRaw {
                    content: "assertions",
                    span: Span {
                     start: Position {
                      line: 276,
                      column: 13,
                     },
                     end: Position {
                      line: 276,
                      column: 23,
                     },
                    },
                   },
                  ),
                 ],
                 span: Span {
                  start: Position {
                   line: 275,
                   column: 29,
                  },
                  end: Position {
                   line: 276,
                   column: 24,
                  },
                 },
                },
               ),
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "programs",
                    span: Span {
                     start: Position {
                      line: 277,
                      column: 5,
                     },
                     end: Position {
                      line: 277,
                      column: 13,
                     },
                    },
                   },
                  ),
                  Raw(
                   PartRaw {
                    content: "tsmClient",
                    span: Span {
                     start: Position {
                      line: 277,
                      column: 14,
                     },
                     end: Position {
                      line: 277,
                      column: 23,
                     },
                    },
                   },
                  ),
                  Raw(
                   PartRaw {
                    content: "dsmSysText",
                    span: Span {
                     start: Position {
                      line: 277,
                      column: 24,
                     },
                     end: Position {
                      line: 277,
                      column: 34,
                     },
                    },
                   },
                  ),
                 ],
                 to: Identifier(
                  Identifier {
                   id: "dsmSysText",
                   span: Span {
                    start: Position {
                     line: 277,
                     column: 37,
                    },
                    end: Position {
                     line: 277,
                     column: 47,
                    },
                   },
                  },
                 ),
                },
               ),
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "programs",
                    span: Span {
                     start: Position {
                      line: 278,
                      column: 5,
                     },
                     end: Position {
                      line: 278,
                      column: 13,
                     },
                    },
                   },
                  ),
                  Raw(
                   PartRaw {
                    content: "tsmClient",
                    span: Span {
                     start: Position {
                      line: 278,
                      column: 14,
                     },
                     end: Position {
                      line: 278,
                      column: 23,
                     },
                    },
                   },
                  ),
                  Raw(
                   PartRaw {
                    content: "wrappedPackage",
                    span: Span {
                     start: Position {
                      line: 278,
                      column: 24,
                     },
                     end: Position {
                      line: 278,
                      column: 38,
                     },
                    },
                   },
                  ),
                 ],
                 to: FunctionApplication(
                  FunctionApplication {
                   function: PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "cfg",
                       span: Span {
                        start: Position {
                         line: 278,
                         column: 41,
                        },
                        end: Position {
                         line: 278,
                         column: 44,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "package",
                        span: Span {
                         start: Position {
                          line: 278,
                          column: 45,
                         },
                         end: Position {
                          line: 278,
                          column: 52,
                         },
                        },
                       },
                      ),
                      Raw(
                       PartRaw {
                        content: "override",
                        span: Span {
                         start: Position {
                          line: 278,
                          column: 53,
                         },
                         end: Position {
                          line: 278,
                          column: 61,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   arguments: [
                    Map(
                     Map {
                      recursive: true,
                      bindings: [
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "dsmSysCli",
                            span: Span {
                             start: Position {
                              line: 279,
                              column: 7,
                             },
                             end: Position {
                              line: 279,
                              column: 16,
                             },
                            },
                           },
                          ),
                         ],
                         to: FunctionApplication(
                          FunctionApplication {
                           function: PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "pkgs",
                               span: Span {
                                start: Position {
                                 line: 279,
                                 column: 19,
                                },
                                end: Position {
                                 line: 279,
                                 column: 23,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "writeText",
                                span: Span {
                                 start: Position {
                                  line: 279,
                                  column: 24,
                                 },
                                 end: Position {
                                  line: 279,
                                  column: 33,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           arguments: [
                            String(
                             String_ {
                              parts: [
                               Raw(
                                PartRaw {
                                 content: "dsm.sys",
                                 span: Span {
                                  start: Position {
                                   line: 279,
                                   column: 35,
                                  },
                                  end: Position {
                                   line: 279,
                                   column: 42,
                                  },
                                 },
                                },
                               ),
                              ],
                              span: Span {
                               start: Position {
                                line: 279,
                                column: 34,
                               },
                               end: Position {
                                line: 279,
                                column: 43,
                               },
                              },
                             },
                            ),
                            PropertyAccess(
                             PropertyAccess {
                              expression: Identifier(
                               Identifier {
                                id: "cfg",
                                span: Span {
                                 start: Position {
                                  line: 279,
                                  column: 44,
                                 },
                                 end: Position {
                                  line: 279,
                                  column: 47,
                                 },
                                },
                               },
                              ),
                              attribute_path: [
                               Raw(
                                PartRaw {
                                 content: "dsmSysText",
                                 span: Span {
                                  start: Position {
                                   line: 279,
                                   column: 48,
                                  },
                                  end: Position {
                                   line: 279,
                                   column: 58,
                                  },
                                 },
                                },
                               ),
                              ],
                              default: None,
                             },
                            ),
                           ],
                          },
                         ),
                        },
                       ),
                       KeyValue(
                        BindingKeyValue {
                         from: [
                          Raw(
                           PartRaw {
                            content: "dsmSysApi",
                            span: Span {
                             start: Position {
                              line: 280,
                              column: 7,
                             },
                             end: Position {
                              line: 280,
                              column: 16,
                             },
                            },
                           },
                          ),
                         ],
                         to: Identifier(
                          Identifier {
                           id: "dsmSysCli",
                           span: Span {
                            start: Position {
                             line: 280,
                             column: 19,
                            },
                            end: Position {
                             line: 280,
                             column: 28,
                            },
                           },
                          },
                         ),
                        },
                       ),
                      ],
                      span: Span {
                       start: Position {
                        line: 278,
                        column: 62,
                       },
                       end: Position {
                        line: 281,
                        column: 6,
                       },
                      },
                     },
                    ),
                   ],
                  },
                 ),
                },
               ),
               KeyValue(
                BindingKeyValue {
                 from: [
                  Raw(
                   PartRaw {
                    content: "environment",
                    span: Span {
                     start: Position {
                      line: 282,
                      column: 5,
                     },
                     end: Position {
                      line: 282,
                      column: 16,
                     },
                    },
                   },
                  ),
                  Raw(
                   PartRaw {
                    content: "systemPackages",
                    span: Span {
                     start: Position {
                      line: 282,
                      column: 17,
                     },
                     end: Position {
                      line: 282,
                      column: 31,
                     },
                    },
                   },
                  ),
                 ],
                 to: List(
                  List {
                   elements: [
                    PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "cfg",
                        span: Span {
                         start: Position {
                          line: 282,
                          column: 36,
                         },
                         end: Position {
                          line: 282,
                          column: 39,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "wrappedPackage",
                         span: Span {
                          start: Position {
                           line: 282,
                           column: 40,
                          },
                          end: Position {
                           line: 282,
                           column: 54,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 282,
                     column: 34,
                    },
                    end: Position {
                     line: 282,
                     column: 56,
                    },
                   },
                  },
                 ),
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 275,
                column: 28,
               },
               end: Position {
                line: 283,
                column: 4,
               },
              },
             },
            ),
           ],
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "meta",
            span: Span {
             start: Position {
              line: 285,
              column: 3,
             },
             end: Position {
              line: 285,
              column: 7,
             },
            },
           },
          ),
          Raw(
           PartRaw {
            content: "maintainers",
            span: Span {
             start: Position {
              line: 285,
              column: 8,
             },
             end: Position {
              line: 285,
              column: 19,
             },
            },
           },
          ),
         ],
         to: List(
          List {
           elements: [
            PropertyAccess(
             PropertyAccess {
              expression: Identifier(
               Identifier {
                id: "lib",
                span: Span {
                 start: Position {
                  line: 285,
                  column: 24,
                 },
                 end: Position {
                  line: 285,
                  column: 27,
                 },
                },
               },
              ),
              attribute_path: [
               Raw(
                PartRaw {
                 content: "maintainers",
                 span: Span {
                  start: Position {
                   line: 285,
                   column: 28,
                  },
                  end: Position {
                   line: 285,
                   column: 39,
                  },
                 },
                },
               ),
               Raw(
                PartRaw {
                 content: "yarny",
                 span: Span {
                  start: Position {
                   line: 285,
                   column: 40,
                  },
                  end: Position {
                   line: 285,
                   column: 45,
                  },
                 },
                },
               ),
              ],
              default: None,
             },
            ),
           ],
           span: Span {
            start: Position {
             line: 285,
             column: 22,
            },
            end: Position {
             line: 285,
             column: 47,
            },
           },
          },
         ),
        },
       ),
      ],
      span: Span {
       start: Position {
        line: 271,
        column: 1,
       },
       end: Position {
        line: 287,
        column: 2,
       },
      },
     },
    ),
    span: Span {
     start: Position {
      line: 3,
      column: 1,
     },
     end: Position {
      line: 287,
      column: 2,
     },
    },
   },
  ),
  span: Span {
   start: Position {
    line: 1,
    column: 1,
   },
   end: Position {
    line: 287,
    column: 2,
   },
  },
 },
)