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: With(
   With {
    expression: Identifier(
     Identifier {
      id: "lib",
      span: Span {
       start: Position {
        line: 5,
        column: 6,
       },
       end: Position {
        line: 5,
        column: 9,
       },
      },
     },
    ),
    target: LetIn(
     LetIn {
      bindings: [
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "cfg",
            span: Span {
             start: Position {
              line: 9,
              column: 3,
             },
             end: Position {
              line: 9,
              column: 6,
             },
            },
           },
          ),
         ],
         to: PropertyAccess(
          PropertyAccess {
           expression: Identifier(
            Identifier {
             id: "config",
             span: Span {
              start: Position {
               line: 9,
               column: 10,
              },
              end: Position {
               line: 9,
               column: 16,
              },
             },
            },
           ),
           attribute_path: [
            Raw(
             PartRaw {
              content: "programs",
              span: Span {
               start: Position {
                line: 9,
                column: 17,
               },
               end: Position {
                line: 9,
                column: 25,
               },
              },
             },
            ),
            Raw(
             PartRaw {
              content: "ssh",
              span: Span {
               start: Position {
                line: 9,
                column: 26,
               },
               end: Position {
                line: 9,
                column: 29,
               },
              },
             },
            ),
           ],
           default: None,
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "askPassword",
            span: Span {
             start: Position {
              line: 11,
              column: 3,
             },
             end: Position {
              line: 11,
              column: 14,
             },
            },
           },
          ),
         ],
         to: PropertyAccess(
          PropertyAccess {
           expression: Identifier(
            Identifier {
             id: "cfg",
             span: Span {
              start: Position {
               line: 11,
               column: 17,
              },
              end: Position {
               line: 11,
               column: 20,
              },
             },
            },
           ),
           attribute_path: [
            Raw(
             PartRaw {
              content: "askPassword",
              span: Span {
               start: Position {
                line: 11,
                column: 21,
               },
               end: Position {
                line: 11,
                column: 32,
               },
              },
             },
            ),
           ],
           default: None,
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "askPasswordWrapper",
            span: Span {
             start: Position {
              line: 13,
              column: 3,
             },
             end: Position {
              line: 13,
              column: 21,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: PropertyAccess(
            PropertyAccess {
             expression: Identifier(
              Identifier {
               id: "pkgs",
               span: Span {
                start: Position {
                 line: 13,
                 column: 24,
                },
                end: Position {
                 line: 13,
                 column: 28,
                },
               },
              },
             ),
             attribute_path: [
              Raw(
               PartRaw {
                content: "writeScript",
                span: Span {
                 start: Position {
                  line: 13,
                  column: 29,
                 },
                 end: Position {
                  line: 13,
                  column: 40,
                 },
                },
               },
              ),
             ],
             default: None,
            },
           ),
           arguments: [
            String(
             String_ {
              parts: [
               Raw(
                PartRaw {
                 content: "ssh-askpass-wrapper",
                 span: Span {
                  start: Position {
                   line: 13,
                   column: 42,
                  },
                  end: Position {
                   line: 13,
                   column: 61,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 13,
                column: 41,
               },
               end: Position {
                line: 13,
                column: 62,
               },
              },
             },
            ),
            IndentedString(
             IndentedString {
              parts: [
               Raw(
                PartRaw {
                 content: "#! ",
                 span: Span {
                  start: Position {
                   line: 15,
                   column: 1,
                  },
                  end: Position {
                   line: 15,
                   column: 10,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 15,
                       column: 12,
                      },
                      end: Position {
                       line: 15,
                       column: 16,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "runtimeShell",
                      span: Span {
                       start: Position {
                        line: 15,
                        column: 17,
                       },
                       end: Position {
                        line: 15,
                        column: 29,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " -e\nexport DISPLAY=\"$(systemctl --user show-environment | ",
                 span: Span {
                  start: Position {
                   line: 15,
                   column: 1,
                  },
                  end: Position {
                   line: 16,
                   column: 61,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 16,
                       column: 63,
                      },
                      end: Position {
                       line: 16,
                       column: 67,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "gnused",
                      span: Span {
                       start: Position {
                        line: 16,
                        column: 68,
                       },
                       end: Position {
                        line: 16,
                        column: 74,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/sed 's/^DISPLAY=\\(.*\\)/\\1/; t; d')\"\nexport WAYLAND_DISPLAY=\"$(systemctl --user show-environment | ",
                 span: Span {
                  start: Position {
                   line: 15,
                   column: 1,
                  },
                  end: Position {
                   line: 17,
                   column: 69,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: PropertyAccess(
                  PropertyAccess {
                   expression: Identifier(
                    Identifier {
                     id: "pkgs",
                     span: Span {
                      start: Position {
                       line: 17,
                       column: 71,
                      },
                      end: Position {
                       line: 17,
                       column: 75,
                      },
                     },
                    },
                   ),
                   attribute_path: [
                    Raw(
                     PartRaw {
                      content: "gnused",
                      span: Span {
                       start: Position {
                        line: 17,
                        column: 76,
                       },
                       end: Position {
                        line: 17,
                        column: 82,
                       },
                      },
                     },
                    ),
                   ],
                   default: None,
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: "/bin/sed 's/^WAYLAND_DISPLAY=\\(.*\\)/\\1/; t; d')\"\nexec ",
                 span: Span {
                  start: Position {
                   line: 15,
                   column: 1,
                  },
                  end: Position {
                   line: 18,
                   column: 12,
                  },
                 },
                },
               ),
               Interpolation(
                PartInterpolation {
                 expression: Identifier(
                  Identifier {
                   id: "askPassword",
                   span: Span {
                    start: Position {
                     line: 18,
                     column: 14,
                    },
                    end: Position {
                     line: 18,
                     column: 25,
                    },
                   },
                  },
                 ),
                },
               ),
               Raw(
                PartRaw {
                 content: " \"$@\"\n",
                 span: Span {
                  start: Position {
                   line: 15,
                   column: 1,
                  },
                  end: Position {
                   line: 19,
                   column: 5,
                  },
                 },
                },
               ),
              ],
              span: Span {
               start: Position {
                line: 14,
                column: 5,
               },
               end: Position {
                line: 19,
                column: 7,
               },
              },
             },
            ),
           ],
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "knownHosts",
            span: Span {
             start: Position {
              line: 21,
              column: 3,
             },
             end: Position {
              line: 21,
              column: 13,
             },
            },
           },
          ),
         ],
         to: FunctionApplication(
          FunctionApplication {
           function: Identifier(
            Identifier {
             id: "attrValues",
             span: Span {
              start: Position {
               line: 21,
               column: 16,
              },
              end: Position {
               line: 21,
               column: 26,
              },
             },
            },
           ),
           arguments: [
            PropertyAccess(
             PropertyAccess {
              expression: Identifier(
               Identifier {
                id: "cfg",
                span: Span {
                 start: Position {
                  line: 21,
                  column: 27,
                 },
                 end: Position {
                  line: 21,
                  column: 30,
                 },
                },
               },
              ),
              attribute_path: [
               Raw(
                PartRaw {
                 content: "knownHosts",
                 span: Span {
                  start: Position {
                   line: 21,
                   column: 31,
                  },
                  end: Position {
                   line: 21,
                   column: 41,
                  },
                 },
                },
               ),
              ],
              default: None,
             },
            ),
           ],
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "knownHostsText",
            span: Span {
             start: Position {
              line: 23,
              column: 3,
             },
             end: Position {
              line: 23,
              column: 17,
             },
            },
           },
          ),
         ],
         to: BinaryOperation(
          BinaryOperation {
           left: FunctionApplication(
            FunctionApplication {
             function: Identifier(
              Identifier {
               id: "flip",
               span: Span {
                start: Position {
                 line: 23,
                 column: 21,
                },
                end: Position {
                 line: 23,
                 column: 25,
                },
               },
              },
             ),
             arguments: [
              FunctionApplication(
               FunctionApplication {
                function: Identifier(
                 Identifier {
                  id: "concatMapStringsSep",
                  span: Span {
                   start: Position {
                    line: 23,
                    column: 27,
                   },
                   end: Position {
                    line: 23,
                    column: 46,
                   },
                  },
                 },
                ),
                arguments: [
                 String(
                  String_ {
                   parts: [
                    Raw(
                     PartRaw {
                      content: "\n",
                      span: Span {
                       start: Position {
                        line: 23,
                        column: 48,
                       },
                       end: Position {
                        line: 23,
                        column: 50,
                       },
                      },
                     },
                    ),
                   ],
                   span: Span {
                    start: Position {
                     line: 23,
                     column: 47,
                    },
                    end: Position {
                     line: 23,
                     column: 51,
                    },
                   },
                  },
                 ),
                ],
               },
              ),
              Identifier(
               Identifier {
                id: "knownHosts",
                span: Span {
                 start: Position {
                  line: 23,
                  column: 53,
                 },
                 end: Position {
                  line: 23,
                  column: 63,
                 },
                },
               },
              ),
              Function(
               Function {
                head: Simple(
                 FunctionHeadSimple {
                  identifier: "h",
                 },
                ),
                body: Assert(
                 Assert {
                  expression: BinaryOperation(
                   BinaryOperation {
                    left: PropertyAccess(
                     PropertyAccess {
                      expression: Identifier(
                       Identifier {
                        id: "h",
                        span: Span {
                         start: Position {
                          line: 24,
                          column: 16,
                         },
                         end: Position {
                          line: 24,
                          column: 17,
                         },
                        },
                       },
                      ),
                      attribute_path: [
                       Raw(
                        PartRaw {
                         content: "hostNames",
                         span: Span {
                          start: Position {
                           line: 24,
                           column: 18,
                          },
                          end: Position {
                           line: 24,
                           column: 27,
                          },
                         },
                        },
                       ),
                      ],
                      default: None,
                     },
                    ),
                    operator: NotEqualTo,
                    right: List(
                     List {
                      elements: [],
                      span: Span {
                       start: Position {
                        line: 24,
                        column: 31,
                       },
                       end: Position {
                        line: 24,
                        column: 33,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  target: BinaryOperation(
                   BinaryOperation {
                    left: BinaryOperation(
                     BinaryOperation {
                      left: BinaryOperation(
                       BinaryOperation {
                        left: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "optionalString",
                            span: Span {
                             start: Position {
                              line: 25,
                              column: 7,
                             },
                             end: Position {
                              line: 25,
                              column: 21,
                             },
                            },
                           },
                          ),
                          arguments: [
                           PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "h",
                               span: Span {
                                start: Position {
                                 line: 25,
                                 column: 22,
                                },
                                end: Position {
                                 line: 25,
                                 column: 23,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "certAuthority",
                                span: Span {
                                 start: Position {
                                  line: 25,
                                  column: 24,
                                 },
                                 end: Position {
                                  line: 25,
                                  column: 37,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "@cert-authority ",
                                span: Span {
                                 start: Position {
                                  line: 25,
                                  column: 39,
                                 },
                                 end: Position {
                                  line: 25,
                                  column: 55,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 25,
                               column: 38,
                              },
                              end: Position {
                               line: 25,
                               column: 56,
                              },
                             },
                            },
                           ),
                          ],
                         },
                        ),
                        operator: Addition,
                        right: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "concatStringsSep",
                            span: Span {
                             start: Position {
                              line: 25,
                              column: 59,
                             },
                             end: Position {
                              line: 25,
                              column: 75,
                             },
                            },
                           },
                          ),
                          arguments: [
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: ",",
                                span: Span {
                                 start: Position {
                                  line: 25,
                                  column: 77,
                                 },
                                 end: Position {
                                  line: 25,
                                  column: 78,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 25,
                               column: 76,
                              },
                              end: Position {
                               line: 25,
                               column: 79,
                              },
                             },
                            },
                           ),
                           PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "h",
                               span: Span {
                                start: Position {
                                 line: 25,
                                 column: 80,
                                },
                                end: Position {
                                 line: 25,
                                 column: 81,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "hostNames",
                                span: Span {
                                 start: Position {
                                  line: 25,
                                  column: 82,
                                 },
                                 end: Position {
                                  line: 25,
                                  column: 91,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      operator: Addition,
                      right: String(
                       String_ {
                        parts: [
                         Raw(
                          PartRaw {
                           content: " ",
                           span: Span {
                            start: Position {
                             line: 25,
                             column: 95,
                            },
                            end: Position {
                             line: 25,
                             column: 96,
                            },
                           },
                          },
                         ),
                        ],
                        span: Span {
                         start: Position {
                          line: 25,
                          column: 94,
                         },
                         end: Position {
                          line: 25,
                          column: 97,
                         },
                        },
                       },
                      ),
                     },
                    ),
                    operator: Addition,
                    right: IfThenElse(
                     IfThenElse {
                      predicate: BinaryOperation(
                       BinaryOperation {
                        left: PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "h",
                            span: Span {
                             start: Position {
                              line: 26,
                              column: 13,
                             },
                             end: Position {
                              line: 26,
                              column: 14,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "publicKey",
                             span: Span {
                              start: Position {
                               line: 26,
                               column: 15,
                              },
                              end: Position {
                               line: 26,
                               column: 24,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        operator: NotEqualTo,
                        right: Identifier(
                         Identifier {
                          id: "null",
                          span: Span {
                           start: Position {
                            line: 26,
                            column: 28,
                           },
                           end: Position {
                            line: 26,
                            column: 32,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      then: PropertyAccess(
                       PropertyAccess {
                        expression: Identifier(
                         Identifier {
                          id: "h",
                          span: Span {
                           start: Position {
                            line: 26,
                            column: 38,
                           },
                           end: Position {
                            line: 26,
                            column: 39,
                           },
                          },
                         },
                        ),
                        attribute_path: [
                         Raw(
                          PartRaw {
                           content: "publicKey",
                           span: Span {
                            start: Position {
                             line: 26,
                             column: 40,
                            },
                            end: Position {
                             line: 26,
                             column: 49,
                            },
                           },
                          },
                         ),
                        ],
                        default: None,
                       },
                      ),
                      else_: FunctionApplication(
                       FunctionApplication {
                        function: Identifier(
                         Identifier {
                          id: "readFile",
                          span: Span {
                           start: Position {
                            line: 26,
                            column: 55,
                           },
                           end: Position {
                            line: 26,
                            column: 63,
                           },
                          },
                         },
                        ),
                        arguments: [
                         PropertyAccess(
                          PropertyAccess {
                           expression: Identifier(
                            Identifier {
                             id: "h",
                             span: Span {
                              start: Position {
                               line: 26,
                               column: 64,
                              },
                              end: Position {
                               line: 26,
                               column: 65,
                              },
                             },
                            },
                           ),
                           attribute_path: [
                            Raw(
                             PartRaw {
                              content: "publicKeyFile",
                              span: Span {
                               start: Position {
                                line: 26,
                                column: 66,
                               },
                               end: Position {
                                line: 26,
                                column: 79,
                               },
                              },
                             },
                            ),
                           ],
                           default: None,
                          },
                         ),
                        ],
                       },
                      ),
                      span: Span {
                       start: Position {
                        line: 26,
                        column: 10,
                       },
                       end: Position {
                        line: 26,
                        column: 79,
                       },
                      },
                     },
                    ),
                   },
                  ),
                  span: Span {
                   start: Position {
                    line: 24,
                    column: 9,
                   },
                   end: Position {
                    line: 26,
                    column: 80,
                   },
                  },
                 },
                ),
                span: Span {
                 start: Position {
                  line: 24,
                  column: 6,
                 },
                 end: Position {
                  line: 26,
                  column: 80,
                 },
                },
               },
              ),
             ],
            },
           ),
           operator: Addition,
           right: String(
            String_ {
             parts: [
              Raw(
               PartRaw {
                content: "\n",
                span: Span {
                 start: Position {
                  line: 27,
                  column: 11,
                 },
                 end: Position {
                  line: 27,
                  column: 13,
                 },
                },
               },
              ),
             ],
             span: Span {
              start: Position {
               line: 27,
               column: 10,
              },
              end: Position {
               line: 27,
               column: 14,
              },
             },
            },
           ),
          },
         ),
        },
       ),
       KeyValue(
        BindingKeyValue {
         from: [
          Raw(
           PartRaw {
            content: "knownHostsFiles",
            span: Span {
             start: Position {
              line: 29,
              column: 3,
             },
             end: Position {
              line: 29,
              column: 18,
             },
            },
           },
          ),
         ],
         to: BinaryOperation(
          BinaryOperation {
           left: List(
            List {
             elements: [
              String(
               String_ {
                parts: [
                 Raw(
                  PartRaw {
                   content: "/etc/ssh/ssh_known_hosts",
                   span: Span {
                    start: Position {
                     line: 29,
                     column: 24,
                    },
                    end: Position {
                     line: 29,
                     column: 48,
                    },
                   },
                  },
                 ),
                ],
                span: Span {
                 start: Position {
                  line: 29,
                  column: 23,
                 },
                 end: Position {
                  line: 29,
                  column: 49,
                 },
                },
               },
              ),
              String(
               String_ {
                parts: [
                 Raw(
                  PartRaw {
                   content: "/etc/ssh/ssh_known_hosts2",
                   span: Span {
                    start: Position {
                     line: 29,
                     column: 51,
                    },
                    end: Position {
                     line: 29,
                     column: 76,
                    },
                   },
                  },
                 ),
                ],
                span: Span {
                 start: Position {
                  line: 29,
                  column: 50,
                 },
                 end: Position {
                  line: 29,
                  column: 77,
                 },
                },
               },
              ),
             ],
             span: Span {
              start: Position {
               line: 29,
               column: 21,
              },
              end: Position {
               line: 29,
               column: 79,
              },
             },
            },
           ),
           operator: Concatenation,
           right: FunctionApplication(
            FunctionApplication {
             function: Identifier(
              Identifier {
               id: "map",
               span: Span {
                start: Position {
                 line: 30,
                 column: 8,
                },
                end: Position {
                 line: 30,
                 column: 11,
                },
               },
              },
             ),
             arguments: [
              PropertyAccess(
               PropertyAccess {
                expression: Identifier(
                 Identifier {
                  id: "pkgs",
                  span: Span {
                   start: Position {
                    line: 30,
                    column: 12,
                   },
                   end: Position {
                    line: 30,
                    column: 16,
                   },
                  },
                 },
                ),
                attribute_path: [
                 Raw(
                  PartRaw {
                   content: "copyPathToStore",
                   span: Span {
                    start: Position {
                     line: 30,
                     column: 17,
                    },
                    end: Position {
                     line: 30,
                     column: 32,
                    },
                   },
                  },
                 ),
                ],
                default: None,
               },
              ),
              PropertyAccess(
               PropertyAccess {
                expression: Identifier(
                 Identifier {
                  id: "cfg",
                  span: Span {
                   start: Position {
                    line: 30,
                    column: 33,
                   },
                   end: Position {
                    line: 30,
                    column: 36,
                   },
                  },
                 },
                ),
                attribute_path: [
                 Raw(
                  PartRaw {
                   content: "knownHostsFiles",
                   span: Span {
                    start: Position {
                     line: 30,
                     column: 37,
                    },
                    end: Position {
                     line: 30,
                     column: 52,
                    },
                   },
                  },
                 ),
                ],
                default: None,
               },
              ),
             ],
            },
           ),
          },
         ),
        },
       ),
      ],
      target: Map(
       Map {
        recursive: false,
        bindings: [
         KeyValue(
          BindingKeyValue {
           from: [
            Raw(
             PartRaw {
              content: "options",
              span: Span {
               start: Position {
                line: 36,
                column: 3,
               },
               end: Position {
                line: 36,
                column: 10,
               },
              },
             },
            ),
           ],
           to: Map(
            Map {
             recursive: false,
             bindings: [
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "programs",
                   span: Span {
                    start: Position {
                     line: 38,
                     column: 5,
                    },
                    end: Position {
                     line: 38,
                     column: 13,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "ssh",
                   span: Span {
                    start: Position {
                     line: 38,
                     column: 14,
                    },
                    end: Position {
                     line: 38,
                     column: 17,
                    },
                   },
                  },
                 ),
                ],
                to: Map(
                 Map {
                  recursive: false,
                  bindings: [
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "enableAskPassword",
                        span: Span {
                         start: Position {
                          line: 40,
                          column: 7,
                         },
                         end: Position {
                          line: 40,
                          column: 24,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 40,
                           column: 27,
                          },
                          end: Position {
                           line: 40,
                           column: 35,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 41,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 41,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 41,
                                   column: 16,
                                  },
                                  end: Position {
                                   line: 41,
                                   column: 21,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "bool",
                                  span: Span {
                                   start: Position {
                                    line: 41,
                                    column: 22,
                                   },
                                   end: Position {
                                    line: 41,
                                    column: 26,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 42,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 42,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "config",
                                 span: Span {
                                  start: Position {
                                   line: 42,
                                   column: 19,
                                  },
                                  end: Position {
                                   line: 42,
                                   column: 25,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "services",
                                  span: Span {
                                   start: Position {
                                    line: 42,
                                    column: 26,
                                   },
                                   end: Position {
                                    line: 42,
                                    column: 34,
                                   },
                                  },
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "xserver",
                                  span: Span {
                                   start: Position {
                                    line: 42,
                                    column: 35,
                                   },
                                   end: Position {
                                    line: 42,
                                    column: 42,
                                   },
                                  },
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "enable",
                                  span: Span {
                                   start: Position {
                                    line: 42,
                                    column: 43,
                                   },
                                   end: Position {
                                    line: 42,
                                    column: 49,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "defaultText",
                                span: Span {
                                 start: Position {
                                  line: 43,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 43,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "literalExpression",
                                 span: Span {
                                  start: Position {
                                   line: 43,
                                   column: 23,
                                  },
                                  end: Position {
                                   line: 43,
                                   column: 40,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "config.services.xserver.enable",
                                     span: Span {
                                      start: Position {
                                       line: 43,
                                       column: 42,
                                      },
                                      end: Position {
                                       line: 43,
                                       column: 72,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 43,
                                    column: 41,
                                   },
                                   end: Position {
                                    line: 43,
                                    column: 73,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 44,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 44,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 44,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 44,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 44,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 44,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Whether to configure SSH_ASKPASS in the environment.",
                                     span: Span {
                                      start: Position {
                                       line: 44,
                                       column: 34,
                                      },
                                      end: Position {
                                       line: 44,
                                       column: 86,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 44,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 44,
                                    column: 87,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 40,
                            column: 36,
                           },
                           end: Position {
                            line: 45,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "askPassword",
                        span: Span {
                         start: Position {
                          line: 47,
                          column: 7,
                         },
                         end: Position {
                          line: 47,
                          column: 18,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 47,
                           column: 21,
                          },
                          end: Position {
                           line: 47,
                           column: 29,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 48,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 48,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 48,
                                   column: 16,
                                  },
                                  end: Position {
                                   line: 48,
                                   column: 21,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "str",
                                  span: Span {
                                   start: Position {
                                    line: 48,
                                    column: 22,
                                   },
                                   end: Position {
                                    line: 48,
                                    column: 25,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 49,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 49,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [
                                Interpolation(
                                 PartInterpolation {
                                  expression: PropertyAccess(
                                   PropertyAccess {
                                    expression: Identifier(
                                     Identifier {
                                      id: "pkgs",
                                      span: Span {
                                       start: Position {
                                        line: 49,
                                        column: 22,
                                       },
                                       end: Position {
                                        line: 49,
                                        column: 26,
                                       },
                                      },
                                     },
                                    ),
                                    attribute_path: [
                                     Raw(
                                      PartRaw {
                                       content: "x11_ssh_askpass",
                                       span: Span {
                                        start: Position {
                                         line: 49,
                                         column: 27,
                                        },
                                        end: Position {
                                         line: 49,
                                         column: 42,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    default: None,
                                   },
                                  ),
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "/libexec/x11-ssh-askpass",
                                  span: Span {
                                   start: Position {
                                    line: 49,
                                    column: 20,
                                   },
                                   end: Position {
                                    line: 49,
                                    column: 67,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 49,
                                 column: 19,
                                },
                                end: Position {
                                 line: 49,
                                 column: 68,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "defaultText",
                                span: Span {
                                 start: Position {
                                  line: 50,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 50,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "literalExpression",
                                 span: Span {
                                  start: Position {
                                   line: 50,
                                   column: 23,
                                  },
                                  end: Position {
                                   line: 50,
                                   column: 40,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "\"",
                                     span: Span {
                                      start: Position {
                                       line: 50,
                                       column: 43,
                                      },
                                      end: Position {
                                       line: 50,
                                       column: 44,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: "$",
                                     span: Span {
                                      start: Position {
                                       line: 50,
                                       column: 43,
                                      },
                                      end: Position {
                                       line: 50,
                                       column: 47,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: "{pkgs.x11_ssh_askpass}/libexec/x11-ssh-askpass\"",
                                     span: Span {
                                      start: Position {
                                       line: 50,
                                       column: 43,
                                      },
                                      end: Position {
                                       line: 50,
                                       column: 94,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 50,
                                    column: 41,
                                   },
                                   end: Position {
                                    line: 50,
                                    column: 96,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 51,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 51,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 51,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 51,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 51,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 51,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Program used by SSH to ask for passwords.",
                                     span: Span {
                                      start: Position {
                                       line: 51,
                                       column: 34,
                                      },
                                      end: Position {
                                       line: 51,
                                       column: 75,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 51,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 51,
                                    column: 76,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 47,
                            column: 30,
                           },
                           end: Position {
                            line: 52,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "forwardX11",
                        span: Span {
                         start: Position {
                          line: 54,
                          column: 7,
                         },
                         end: Position {
                          line: 54,
                          column: 17,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 54,
                           column: 20,
                          },
                          end: Position {
                           line: 54,
                           column: 28,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 55,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 55,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 55,
                                   column: 16,
                                  },
                                  end: Position {
                                   line: 55,
                                   column: 21,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "bool",
                                  span: Span {
                                   start: Position {
                                    line: 55,
                                    column: 22,
                                   },
                                   end: Position {
                                    line: 55,
                                    column: 26,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 56,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 56,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Identifier(
                              Identifier {
                               id: "false",
                               span: Span {
                                start: Position {
                                 line: 56,
                                 column: 19,
                                },
                                end: Position {
                                 line: 56,
                                 column: 24,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 57,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 57,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 57,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 57,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 57,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 57,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Whether to request X11 forwarding on outgoing connections by default.\nThis is useful for running graphical programs on the remote machine and have them display to your local X11 server.\nHistorically, this value has depended on the value used by the local sshd daemon, but there really isn't a relation between the two.\nNote: there are some security risks to forwarding an X11 connection.\nNixOS's X server is built with the SECURITY extension, which prevents some obvious attacks.\nTo enable or disable forwarding on a per-connection basis, see the -X and -x options to ssh.\nThe -Y option to ssh enables trusted forwarding, which bypasses the SECURITY extension.\n",
                                     span: Span {
                                      start: Position {
                                       line: 58,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 65,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 57,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 65,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 54,
                            column: 29,
                           },
                           end: Position {
                            line: 66,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "setXAuthLocation",
                        span: Span {
                         start: Position {
                          line: 68,
                          column: 7,
                         },
                         end: Position {
                          line: 68,
                          column: 23,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 68,
                           column: 26,
                          },
                          end: Position {
                           line: 68,
                           column: 34,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 69,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 69,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 69,
                                   column: 16,
                                  },
                                  end: Position {
                                   line: 69,
                                   column: 21,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "bool",
                                  span: Span {
                                   start: Position {
                                    line: 69,
                                    column: 22,
                                   },
                                   end: Position {
                                    line: 69,
                                    column: 26,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 70,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 70,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 70,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 70,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 70,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 70,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Whether to set the path to {command}`xauth` for X11-forwarded connections.\nThis causes a dependency on X11 packages.\n",
                                     span: Span {
                                      start: Position {
                                       line: 71,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 73,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 70,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 73,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 68,
                            column: 35,
                           },
                           end: Position {
                            line: 74,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "pubkeyAcceptedKeyTypes",
                        span: Span {
                         start: Position {
                          line: 76,
                          column: 7,
                         },
                         end: Position {
                          line: 76,
                          column: 29,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 76,
                           column: 32,
                          },
                          end: Position {
                           line: 76,
                           column: 40,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 77,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 77,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 77,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 77,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "listOf",
                                    span: Span {
                                     start: Position {
                                      line: 77,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 77,
                                      column: 28,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "types",
                                    span: Span {
                                     start: Position {
                                      line: 77,
                                      column: 29,
                                     },
                                     end: Position {
                                      line: 77,
                                      column: 34,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "str",
                                     span: Span {
                                      start: Position {
                                       line: 77,
                                       column: 35,
                                      },
                                      end: Position {
                                       line: 77,
                                       column: 38,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 78,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 78,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [],
                               span: Span {
                                start: Position {
                                 line: 78,
                                 column: 19,
                                },
                                end: Position {
                                 line: 78,
                                 column: 21,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 79,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 79,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "ssh-ed25519",
                                     span: Span {
                                      start: Position {
                                       line: 79,
                                       column: 22,
                                      },
                                      end: Position {
                                       line: 79,
                                       column: 33,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 79,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 79,
                                    column: 34,
                                   },
                                  },
                                 },
                                ),
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "ssh-rsa",
                                     span: Span {
                                      start: Position {
                                       line: 79,
                                       column: 36,
                                      },
                                      end: Position {
                                       line: 79,
                                       column: 43,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 79,
                                    column: 35,
                                   },
                                   end: Position {
                                    line: 79,
                                    column: 44,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 79,
                                 column: 19,
                                },
                                end: Position {
                                 line: 79,
                                 column: 46,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 80,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 80,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 80,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 80,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 80,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 80,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Specifies the key types that will be used for public key authentication.\n",
                                     span: Span {
                                      start: Position {
                                       line: 81,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 82,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 80,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 82,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 76,
                            column: 41,
                           },
                           end: Position {
                            line: 83,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "hostKeyAlgorithms",
                        span: Span {
                         start: Position {
                          line: 85,
                          column: 7,
                         },
                         end: Position {
                          line: 85,
                          column: 24,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 85,
                           column: 27,
                          },
                          end: Position {
                           line: 85,
                           column: 35,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 86,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 86,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 86,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 86,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "listOf",
                                    span: Span {
                                     start: Position {
                                      line: 86,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 86,
                                      column: 28,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "types",
                                    span: Span {
                                     start: Position {
                                      line: 86,
                                      column: 29,
                                     },
                                     end: Position {
                                      line: 86,
                                      column: 34,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "str",
                                     span: Span {
                                      start: Position {
                                       line: 86,
                                       column: 35,
                                      },
                                      end: Position {
                                       line: 86,
                                       column: 38,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 87,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 87,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [],
                               span: Span {
                                start: Position {
                                 line: 87,
                                 column: 19,
                                },
                                end: Position {
                                 line: 87,
                                 column: 21,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 88,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 88,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "ssh-ed25519",
                                     span: Span {
                                      start: Position {
                                       line: 88,
                                       column: 22,
                                      },
                                      end: Position {
                                       line: 88,
                                       column: 33,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 88,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 88,
                                    column: 34,
                                   },
                                  },
                                 },
                                ),
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "ssh-rsa",
                                     span: Span {
                                      start: Position {
                                       line: 88,
                                       column: 36,
                                      },
                                      end: Position {
                                       line: 88,
                                       column: 43,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 88,
                                    column: 35,
                                   },
                                   end: Position {
                                    line: 88,
                                    column: 44,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 88,
                                 column: 19,
                                },
                                end: Position {
                                 line: 88,
                                 column: 46,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 89,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 89,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 89,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 89,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 89,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 89,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Specifies the host key algorithms that the client wants to use in order of preference.\n",
                                     span: Span {
                                      start: Position {
                                       line: 90,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 91,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 89,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 91,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 85,
                            column: 36,
                           },
                           end: Position {
                            line: 92,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "extraConfig",
                        span: Span {
                         start: Position {
                          line: 94,
                          column: 7,
                         },
                         end: Position {
                          line: 94,
                          column: 18,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 94,
                           column: 21,
                          },
                          end: Position {
                           line: 94,
                           column: 29,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 95,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 95,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 95,
                                   column: 16,
                                  },
                                  end: Position {
                                   line: 95,
                                   column: 21,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "lines",
                                  span: Span {
                                   start: Position {
                                    line: 95,
                                    column: 22,
                                   },
                                   end: Position {
                                    line: 95,
                                    column: 27,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 96,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 96,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [],
                               span: Span {
                                start: Position {
                                 line: 96,
                                 column: 19,
                                },
                                end: Position {
                                 line: 96,
                                 column: 21,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 97,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 97,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 97,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 97,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 97,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 97,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Extra configuration text prepended to {file}`ssh_config`. Other generated\noptions will be added after a `Host *` pattern.\nSee {manpage}`ssh_config(5)`\nfor help.\n",
                                     span: Span {
                                      start: Position {
                                       line: 98,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 102,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 97,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 102,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 94,
                            column: 30,
                           },
                           end: Position {
                            line: 103,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "startAgent",
                        span: Span {
                         start: Position {
                          line: 105,
                          column: 7,
                         },
                         end: Position {
                          line: 105,
                          column: 17,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 105,
                           column: 20,
                          },
                          end: Position {
                           line: 105,
                           column: 28,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 106,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 106,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 106,
                                   column: 16,
                                  },
                                  end: Position {
                                   line: 106,
                                   column: 21,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "bool",
                                  span: Span {
                                   start: Position {
                                    line: 106,
                                    column: 22,
                                   },
                                   end: Position {
                                    line: 106,
                                    column: 26,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 107,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 107,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Identifier(
                              Identifier {
                               id: "false",
                               span: Span {
                                start: Position {
                                 line: 107,
                                 column: 19,
                                },
                                end: Position {
                                 line: 107,
                                 column: 24,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 108,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 108,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 108,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 108,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 108,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 108,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Whether to start the OpenSSH agent when you log in.  The OpenSSH agent\nremembers private keys for you so that you don't have to type in\npassphrases every time you make an SSH connection.  Use\n{command}`ssh-add` to add a key to the agent.\n",
                                     span: Span {
                                      start: Position {
                                       line: 109,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 113,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 108,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 113,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 105,
                            column: 29,
                           },
                           end: Position {
                            line: 114,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "agentTimeout",
                        span: Span {
                         start: Position {
                          line: 116,
                          column: 7,
                         },
                         end: Position {
                          line: 116,
                          column: 19,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 116,
                           column: 22,
                          },
                          end: Position {
                           line: 116,
                           column: 30,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 117,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 117,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 117,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 117,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "nullOr",
                                    span: Span {
                                     start: Position {
                                      line: 117,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 117,
                                      column: 28,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "types",
                                    span: Span {
                                     start: Position {
                                      line: 117,
                                      column: 29,
                                     },
                                     end: Position {
                                      line: 117,
                                      column: 34,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "str",
                                     span: Span {
                                      start: Position {
                                       line: 117,
                                       column: 35,
                                      },
                                      end: Position {
                                       line: 117,
                                       column: 38,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 118,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 118,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Identifier(
                              Identifier {
                               id: "null",
                               span: Span {
                                start: Position {
                                 line: 118,
                                 column: 19,
                                },
                                end: Position {
                                 line: 118,
                                 column: 23,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 119,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 119,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "1h",
                                  span: Span {
                                   start: Position {
                                    line: 119,
                                    column: 20,
                                   },
                                   end: Position {
                                    line: 119,
                                    column: 22,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 119,
                                 column: 19,
                                },
                                end: Position {
                                 line: 119,
                                 column: 23,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 120,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 120,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 120,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 120,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 120,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 120,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "How long to keep the private keys in memory. Use null to keep them forever.\n",
                                     span: Span {
                                      start: Position {
                                       line: 121,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 122,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 120,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 122,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 116,
                            column: 31,
                           },
                           end: Position {
                            line: 123,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "agentPKCS11Whitelist",
                        span: Span {
                         start: Position {
                          line: 125,
                          column: 7,
                         },
                         end: Position {
                          line: 125,
                          column: 27,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 125,
                           column: 30,
                          },
                          end: Position {
                           line: 125,
                           column: 38,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 126,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 126,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 126,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 126,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "nullOr",
                                    span: Span {
                                     start: Position {
                                      line: 126,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 126,
                                      column: 28,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "types",
                                    span: Span {
                                     start: Position {
                                      line: 126,
                                      column: 29,
                                     },
                                     end: Position {
                                      line: 126,
                                      column: 34,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "str",
                                     span: Span {
                                      start: Position {
                                       line: 126,
                                       column: 35,
                                      },
                                      end: Position {
                                       line: 126,
                                       column: 38,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 127,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 127,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Identifier(
                              Identifier {
                               id: "null",
                               span: Span {
                                start: Position {
                                 line: 127,
                                 column: 19,
                                },
                                end: Position {
                                 line: 127,
                                 column: 23,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 128,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 128,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "literalExpression",
                                 span: Span {
                                  start: Position {
                                   line: 128,
                                   column: 19,
                                  },
                                  end: Position {
                                   line: 128,
                                   column: 36,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "\"",
                                     span: Span {
                                      start: Position {
                                       line: 128,
                                       column: 39,
                                      },
                                      end: Position {
                                       line: 128,
                                       column: 40,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: "$",
                                     span: Span {
                                      start: Position {
                                       line: 128,
                                       column: 39,
                                      },
                                      end: Position {
                                       line: 128,
                                       column: 43,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: "{pkgs.opensc}/lib/opensc-pkcs11.so\"",
                                     span: Span {
                                      start: Position {
                                       line: 128,
                                       column: 39,
                                      },
                                      end: Position {
                                       line: 128,
                                       column: 78,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 128,
                                    column: 37,
                                   },
                                   end: Position {
                                    line: 128,
                                    column: 80,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 129,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 129,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 129,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 129,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 129,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 129,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "A pattern-list of acceptable paths for PKCS#11 shared libraries\nthat may be used with the -s option to ssh-add.\n",
                                     span: Span {
                                      start: Position {
                                       line: 130,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 132,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 129,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 132,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 125,
                            column: 39,
                           },
                           end: Position {
                            line: 133,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "package",
                        span: Span {
                         start: Position {
                          line: 135,
                          column: 7,
                         },
                         end: Position {
                          line: 135,
                          column: 14,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 135,
                           column: 17,
                          },
                          end: Position {
                           line: 135,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 136,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 136,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 136,
                                   column: 16,
                                  },
                                  end: Position {
                                   line: 136,
                                   column: 21,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "package",
                                  span: Span {
                                   start: Position {
                                    line: 136,
                                    column: 22,
                                   },
                                   end: Position {
                                    line: 136,
                                    column: 29,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 137,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 137,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "pkgs",
                                 span: Span {
                                  start: Position {
                                   line: 137,
                                   column: 19,
                                  },
                                  end: Position {
                                   line: 137,
                                   column: 23,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "openssh",
                                  span: Span {
                                   start: Position {
                                    line: 137,
                                    column: 24,
                                   },
                                   end: Position {
                                    line: 137,
                                    column: 31,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "defaultText",
                                span: Span {
                                 start: Position {
                                  line: 138,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 138,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "literalExpression",
                                 span: Span {
                                  start: Position {
                                   line: 138,
                                   column: 23,
                                  },
                                  end: Position {
                                   line: 138,
                                   column: 40,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "pkgs.openssh",
                                     span: Span {
                                      start: Position {
                                       line: 138,
                                       column: 42,
                                      },
                                      end: Position {
                                       line: 138,
                                       column: 54,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 138,
                                    column: 41,
                                   },
                                   end: Position {
                                    line: 138,
                                    column: 55,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 139,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 139,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 139,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 139,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 139,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 139,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "The package used for the openssh client and daemon.\n",
                                     span: Span {
                                      start: Position {
                                       line: 140,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 141,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 139,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 141,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 135,
                            column: 26,
                           },
                           end: Position {
                            line: 142,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "knownHosts",
                        span: Span {
                         start: Position {
                          line: 144,
                          column: 7,
                         },
                         end: Position {
                          line: 144,
                          column: 17,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 144,
                           column: 20,
                          },
                          end: Position {
                           line: 144,
                           column: 28,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 145,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 145,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Map(
                              Map {
                               recursive: false,
                               bindings: [],
                               span: Span {
                                start: Position {
                                 line: 145,
                                 column: 19,
                                },
                                end: Position {
                                 line: 145,
                                 column: 21,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 146,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 146,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 146,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 146,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "attrsOf",
                                    span: Span {
                                     start: Position {
                                      line: 146,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 146,
                                      column: 29,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                FunctionApplication(
                                 FunctionApplication {
                                  function: PropertyAccess(
                                   PropertyAccess {
                                    expression: Identifier(
                                     Identifier {
                                      id: "types",
                                      span: Span {
                                       start: Position {
                                        line: 146,
                                        column: 31,
                                       },
                                       end: Position {
                                        line: 146,
                                        column: 36,
                                       },
                                      },
                                     },
                                    ),
                                    attribute_path: [
                                     Raw(
                                      PartRaw {
                                       content: "submodule",
                                       span: Span {
                                        start: Position {
                                         line: 146,
                                         column: 37,
                                        },
                                        end: Position {
                                         line: 146,
                                         column: 46,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    default: None,
                                   },
                                  ),
                                  arguments: [
                                   Function(
                                    Function {
                                     head: Destructured(
                                      FunctionHeadDestructured {
                                       ellipsis: true,
                                       identifier: None,
                                       arguments: [
                                        FunctionHeadDestructuredArgument {
                                         identifier: "name",
                                         default: None,
                                        },
                                        FunctionHeadDestructuredArgument {
                                         identifier: "config",
                                         default: None,
                                        },
                                        FunctionHeadDestructuredArgument {
                                         identifier: "options",
                                         default: None,
                                        },
                                       ],
                                      },
                                     ),
                                     body: Map(
                                      Map {
                                       recursive: false,
                                       bindings: [
                                        KeyValue(
                                         BindingKeyValue {
                                          from: [
                                           Raw(
                                            PartRaw {
                                             content: "options",
                                             span: Span {
                                              start: Position {
                                               line: 147,
                                               column: 11,
                                              },
                                              end: Position {
                                               line: 147,
                                               column: 18,
                                              },
                                             },
                                            },
                                           ),
                                          ],
                                          to: Map(
                                           Map {
                                            recursive: false,
                                            bindings: [
                                             KeyValue(
                                              BindingKeyValue {
                                               from: [
                                                Raw(
                                                 PartRaw {
                                                  content: "certAuthority",
                                                  span: Span {
                                                   start: Position {
                                                    line: 148,
                                                    column: 13,
                                                   },
                                                   end: Position {
                                                    line: 148,
                                                    column: 26,
                                                   },
                                                  },
                                                 },
                                                ),
                                               ],
                                               to: FunctionApplication(
                                                FunctionApplication {
                                                 function: Identifier(
                                                  Identifier {
                                                   id: "mkOption",
                                                   span: Span {
                                                    start: Position {
                                                     line: 148,
                                                     column: 29,
                                                    },
                                                    end: Position {
                                                     line: 148,
                                                     column: 37,
                                                    },
                                                   },
                                                  },
                                                 ),
                                                 arguments: [
                                                  Map(
                                                   Map {
                                                    recursive: false,
                                                    bindings: [
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "type",
                                                          span: Span {
                                                           start: Position {
                                                            line: 149,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 149,
                                                            column: 19,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: PropertyAccess(
                                                        PropertyAccess {
                                                         expression: Identifier(
                                                          Identifier {
                                                           id: "types",
                                                           span: Span {
                                                            start: Position {
                                                             line: 149,
                                                             column: 22,
                                                            },
                                                            end: Position {
                                                             line: 149,
                                                             column: 27,
                                                            },
                                                           },
                                                          },
                                                         ),
                                                         attribute_path: [
                                                          Raw(
                                                           PartRaw {
                                                            content: "bool",
                                                            span: Span {
                                                             start: Position {
                                                              line: 149,
                                                              column: 28,
                                                             },
                                                             end: Position {
                                                              line: 149,
                                                              column: 32,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                         default: None,
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "default",
                                                          span: Span {
                                                           start: Position {
                                                            line: 150,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 150,
                                                            column: 22,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: Identifier(
                                                        Identifier {
                                                         id: "false",
                                                         span: Span {
                                                          start: Position {
                                                           line: 150,
                                                           column: 25,
                                                          },
                                                          end: Position {
                                                           line: 150,
                                                           column: 30,
                                                          },
                                                         },
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "description",
                                                          span: Span {
                                                           start: Position {
                                                            line: 151,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 151,
                                                            column: 26,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "lib",
                                                             span: Span {
                                                              start: Position {
                                                               line: 151,
                                                               column: 29,
                                                              },
                                                              end: Position {
                                                               line: 151,
                                                               column: 32,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "mdDoc",
                                                              span: Span {
                                                               start: Position {
                                                                line: 151,
                                                                column: 33,
                                                               },
                                                               end: Position {
                                                                line: 151,
                                                                column: 38,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          IndentedString(
                                                           IndentedString {
                                                            parts: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "This public key is an SSH certificate authority, rather than an\nindividual host's key.\n",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 152,
                                                                 column: 1,
                                                                },
                                                                end: Position {
                                                                 line: 154,
                                                                 column: 15,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            span: Span {
                                                             start: Position {
                                                              line: 151,
                                                              column: 39,
                                                             },
                                                             end: Position {
                                                              line: 154,
                                                              column: 17,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                    ],
                                                    span: Span {
                                                     start: Position {
                                                      line: 148,
                                                      column: 38,
                                                     },
                                                     end: Position {
                                                      line: 155,
                                                      column: 14,
                                                     },
                                                    },
                                                   },
                                                  ),
                                                 ],
                                                },
                                               ),
                                              },
                                             ),
                                             KeyValue(
                                              BindingKeyValue {
                                               from: [
                                                Raw(
                                                 PartRaw {
                                                  content: "hostNames",
                                                  span: Span {
                                                   start: Position {
                                                    line: 156,
                                                    column: 13,
                                                   },
                                                   end: Position {
                                                    line: 156,
                                                    column: 22,
                                                   },
                                                  },
                                                 },
                                                ),
                                               ],
                                               to: FunctionApplication(
                                                FunctionApplication {
                                                 function: Identifier(
                                                  Identifier {
                                                   id: "mkOption",
                                                   span: Span {
                                                    start: Position {
                                                     line: 156,
                                                     column: 25,
                                                    },
                                                    end: Position {
                                                     line: 156,
                                                     column: 33,
                                                    },
                                                   },
                                                  },
                                                 ),
                                                 arguments: [
                                                  Map(
                                                   Map {
                                                    recursive: false,
                                                    bindings: [
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "type",
                                                          span: Span {
                                                           start: Position {
                                                            line: 157,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 157,
                                                            column: 19,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "types",
                                                             span: Span {
                                                              start: Position {
                                                               line: 157,
                                                               column: 22,
                                                              },
                                                              end: Position {
                                                               line: 157,
                                                               column: 27,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "listOf",
                                                              span: Span {
                                                               start: Position {
                                                                line: 157,
                                                                column: 28,
                                                               },
                                                               end: Position {
                                                                line: 157,
                                                                column: 34,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          PropertyAccess(
                                                           PropertyAccess {
                                                            expression: Identifier(
                                                             Identifier {
                                                              id: "types",
                                                              span: Span {
                                                               start: Position {
                                                                line: 157,
                                                                column: 35,
                                                               },
                                                               end: Position {
                                                                line: 157,
                                                                column: 40,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                            attribute_path: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "str",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 157,
                                                                 column: 41,
                                                                },
                                                                end: Position {
                                                                 line: 157,
                                                                 column: 44,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            default: None,
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "default",
                                                          span: Span {
                                                           start: Position {
                                                            line: 158,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 158,
                                                            column: 22,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: BinaryOperation(
                                                        BinaryOperation {
                                                         left: List(
                                                          List {
                                                           elements: [
                                                            Identifier(
                                                             Identifier {
                                                              id: "name",
                                                              span: Span {
                                                               start: Position {
                                                                line: 158,
                                                                column: 27,
                                                               },
                                                               end: Position {
                                                                line: 158,
                                                                column: 31,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           span: Span {
                                                            start: Position {
                                                             line: 158,
                                                             column: 25,
                                                            },
                                                            end: Position {
                                                             line: 158,
                                                             column: 33,
                                                            },
                                                           },
                                                          },
                                                         ),
                                                         operator: Concatenation,
                                                         right: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "config",
                                                             span: Span {
                                                              start: Position {
                                                               line: 158,
                                                               column: 37,
                                                              },
                                                              end: Position {
                                                               line: 158,
                                                               column: 43,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "extraHostNames",
                                                              span: Span {
                                                               start: Position {
                                                                line: 158,
                                                                column: 44,
                                                               },
                                                               end: Position {
                                                                line: 158,
                                                                column: 58,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "defaultText",
                                                          span: Span {
                                                           start: Position {
                                                            line: 159,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 159,
                                                            column: 26,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: Identifier(
                                                          Identifier {
                                                           id: "literalExpression",
                                                           span: Span {
                                                            start: Position {
                                                             line: 159,
                                                             column: 29,
                                                            },
                                                            end: Position {
                                                             line: 159,
                                                             column: 46,
                                                            },
                                                           },
                                                          },
                                                         ),
                                                         arguments: [
                                                          String(
                                                           String_ {
                                                            parts: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "[ ",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 159,
                                                                 column: 48,
                                                                },
                                                                end: Position {
                                                                 line: 159,
                                                                 column: 57,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                             Interpolation(
                                                              PartInterpolation {
                                                               expression: Identifier(
                                                                Identifier {
                                                                 id: "name",
                                                                 span: Span {
                                                                  start: Position {
                                                                   line: 159,
                                                                   column: 52,
                                                                  },
                                                                  end: Position {
                                                                   line: 159,
                                                                   column: 56,
                                                                  },
                                                                 },
                                                                },
                                                               ),
                                                              },
                                                             ),
                                                             Raw(
                                                              PartRaw {
                                                               content: " ] ++ config.",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 159,
                                                                 column: 48,
                                                                },
                                                                end: Position {
                                                                 line: 159,
                                                                 column: 70,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                             Interpolation(
                                                              PartInterpolation {
                                                               expression: PropertyAccess(
                                                                PropertyAccess {
                                                                 expression: Identifier(
                                                                  Identifier {
                                                                   id: "options",
                                                                   span: Span {
                                                                    start: Position {
                                                                     line: 159,
                                                                     column: 72,
                                                                    },
                                                                    end: Position {
                                                                     line: 159,
                                                                     column: 79,
                                                                    },
                                                                   },
                                                                  },
                                                                 ),
                                                                 attribute_path: [
                                                                  Raw(
                                                                   PartRaw {
                                                                    content: "extraHostNames",
                                                                    span: Span {
                                                                     start: Position {
                                                                      line: 159,
                                                                      column: 80,
                                                                     },
                                                                     end: Position {
                                                                      line: 159,
                                                                      column: 94,
                                                                     },
                                                                    },
                                                                   },
                                                                  ),
                                                                 ],
                                                                 default: None,
                                                                },
                                                               ),
                                                              },
                                                             ),
                                                            ],
                                                            span: Span {
                                                             start: Position {
                                                              line: 159,
                                                              column: 47,
                                                             },
                                                             end: Position {
                                                              line: 159,
                                                              column: 96,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "description",
                                                          span: Span {
                                                           start: Position {
                                                            line: 160,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 160,
                                                            column: 26,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "lib",
                                                             span: Span {
                                                              start: Position {
                                                               line: 160,
                                                               column: 29,
                                                              },
                                                              end: Position {
                                                               line: 160,
                                                               column: 32,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "mdDoc",
                                                              span: Span {
                                                               start: Position {
                                                                line: 160,
                                                                column: 33,
                                                               },
                                                               end: Position {
                                                                line: 160,
                                                                column: 38,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          IndentedString(
                                                           IndentedString {
                                                            parts: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "A list of host names and/or IP numbers used for accessing\nthe host's ssh service. This list includes the name of the\ncontaining `knownHosts` attribute by default\nfor convenience. If you wish to configure multiple host keys\nfor the same host use multiple `knownHosts`\nentries with different attribute names and the same\n`hostNames` list.\n",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 161,
                                                                 column: 1,
                                                                },
                                                                end: Position {
                                                                 line: 168,
                                                                 column: 15,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            span: Span {
                                                             start: Position {
                                                              line: 160,
                                                              column: 39,
                                                             },
                                                             end: Position {
                                                              line: 168,
                                                              column: 17,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                    ],
                                                    span: Span {
                                                     start: Position {
                                                      line: 156,
                                                      column: 34,
                                                     },
                                                     end: Position {
                                                      line: 169,
                                                      column: 14,
                                                     },
                                                    },
                                                   },
                                                  ),
                                                 ],
                                                },
                                               ),
                                              },
                                             ),
                                             KeyValue(
                                              BindingKeyValue {
                                               from: [
                                                Raw(
                                                 PartRaw {
                                                  content: "extraHostNames",
                                                  span: Span {
                                                   start: Position {
                                                    line: 170,
                                                    column: 13,
                                                   },
                                                   end: Position {
                                                    line: 170,
                                                    column: 27,
                                                   },
                                                  },
                                                 },
                                                ),
                                               ],
                                               to: FunctionApplication(
                                                FunctionApplication {
                                                 function: Identifier(
                                                  Identifier {
                                                   id: "mkOption",
                                                   span: Span {
                                                    start: Position {
                                                     line: 170,
                                                     column: 30,
                                                    },
                                                    end: Position {
                                                     line: 170,
                                                     column: 38,
                                                    },
                                                   },
                                                  },
                                                 ),
                                                 arguments: [
                                                  Map(
                                                   Map {
                                                    recursive: false,
                                                    bindings: [
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "type",
                                                          span: Span {
                                                           start: Position {
                                                            line: 171,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 171,
                                                            column: 19,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "types",
                                                             span: Span {
                                                              start: Position {
                                                               line: 171,
                                                               column: 22,
                                                              },
                                                              end: Position {
                                                               line: 171,
                                                               column: 27,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "listOf",
                                                              span: Span {
                                                               start: Position {
                                                                line: 171,
                                                                column: 28,
                                                               },
                                                               end: Position {
                                                                line: 171,
                                                                column: 34,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          PropertyAccess(
                                                           PropertyAccess {
                                                            expression: Identifier(
                                                             Identifier {
                                                              id: "types",
                                                              span: Span {
                                                               start: Position {
                                                                line: 171,
                                                                column: 35,
                                                               },
                                                               end: Position {
                                                                line: 171,
                                                                column: 40,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                            attribute_path: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "str",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 171,
                                                                 column: 41,
                                                                },
                                                                end: Position {
                                                                 line: 171,
                                                                 column: 44,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            default: None,
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "default",
                                                          span: Span {
                                                           start: Position {
                                                            line: 172,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 172,
                                                            column: 22,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: List(
                                                        List {
                                                         elements: [],
                                                         span: Span {
                                                          start: Position {
                                                           line: 172,
                                                           column: 25,
                                                          },
                                                          end: Position {
                                                           line: 172,
                                                           column: 27,
                                                          },
                                                         },
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "description",
                                                          span: Span {
                                                           start: Position {
                                                            line: 173,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 173,
                                                            column: 26,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "lib",
                                                             span: Span {
                                                              start: Position {
                                                               line: 173,
                                                               column: 29,
                                                              },
                                                              end: Position {
                                                               line: 173,
                                                               column: 32,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "mdDoc",
                                                              span: Span {
                                                               start: Position {
                                                                line: 173,
                                                                column: 33,
                                                               },
                                                               end: Position {
                                                                line: 173,
                                                                column: 38,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          IndentedString(
                                                           IndentedString {
                                                            parts: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "A list of additional host names and/or IP numbers used for\naccessing the host's ssh service. This list is ignored if\n`hostNames` is set explicitly.\n",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 174,
                                                                 column: 1,
                                                                },
                                                                end: Position {
                                                                 line: 177,
                                                                 column: 15,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            span: Span {
                                                             start: Position {
                                                              line: 173,
                                                              column: 39,
                                                             },
                                                             end: Position {
                                                              line: 177,
                                                              column: 17,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                    ],
                                                    span: Span {
                                                     start: Position {
                                                      line: 170,
                                                      column: 39,
                                                     },
                                                     end: Position {
                                                      line: 178,
                                                      column: 14,
                                                     },
                                                    },
                                                   },
                                                  ),
                                                 ],
                                                },
                                               ),
                                              },
                                             ),
                                             KeyValue(
                                              BindingKeyValue {
                                               from: [
                                                Raw(
                                                 PartRaw {
                                                  content: "publicKey",
                                                  span: Span {
                                                   start: Position {
                                                    line: 179,
                                                    column: 13,
                                                   },
                                                   end: Position {
                                                    line: 179,
                                                    column: 22,
                                                   },
                                                  },
                                                 },
                                                ),
                                               ],
                                               to: FunctionApplication(
                                                FunctionApplication {
                                                 function: Identifier(
                                                  Identifier {
                                                   id: "mkOption",
                                                   span: Span {
                                                    start: Position {
                                                     line: 179,
                                                     column: 25,
                                                    },
                                                    end: Position {
                                                     line: 179,
                                                     column: 33,
                                                    },
                                                   },
                                                  },
                                                 ),
                                                 arguments: [
                                                  Map(
                                                   Map {
                                                    recursive: false,
                                                    bindings: [
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "default",
                                                          span: Span {
                                                           start: Position {
                                                            line: 180,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 180,
                                                            column: 22,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: Identifier(
                                                        Identifier {
                                                         id: "null",
                                                         span: Span {
                                                          start: Position {
                                                           line: 180,
                                                           column: 25,
                                                          },
                                                          end: Position {
                                                           line: 180,
                                                           column: 29,
                                                          },
                                                         },
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "type",
                                                          span: Span {
                                                           start: Position {
                                                            line: 181,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 181,
                                                            column: 19,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "types",
                                                             span: Span {
                                                              start: Position {
                                                               line: 181,
                                                               column: 22,
                                                              },
                                                              end: Position {
                                                               line: 181,
                                                               column: 27,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "nullOr",
                                                              span: Span {
                                                               start: Position {
                                                                line: 181,
                                                                column: 28,
                                                               },
                                                               end: Position {
                                                                line: 181,
                                                                column: 34,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          PropertyAccess(
                                                           PropertyAccess {
                                                            expression: Identifier(
                                                             Identifier {
                                                              id: "types",
                                                              span: Span {
                                                               start: Position {
                                                                line: 181,
                                                                column: 35,
                                                               },
                                                               end: Position {
                                                                line: 181,
                                                                column: 40,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                            attribute_path: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "str",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 181,
                                                                 column: 41,
                                                                },
                                                                end: Position {
                                                                 line: 181,
                                                                 column: 44,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            default: None,
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "example",
                                                          span: Span {
                                                           start: Position {
                                                            line: 182,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 182,
                                                            column: 22,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: String(
                                                        String_ {
                                                         parts: [
                                                          Raw(
                                                           PartRaw {
                                                            content: "ecdsa-sha2-nistp521 AAAAE2VjZHN...UEPg==",
                                                            span: Span {
                                                             start: Position {
                                                              line: 182,
                                                              column: 26,
                                                             },
                                                             end: Position {
                                                              line: 182,
                                                              column: 66,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                         span: Span {
                                                          start: Position {
                                                           line: 182,
                                                           column: 25,
                                                          },
                                                          end: Position {
                                                           line: 182,
                                                           column: 67,
                                                          },
                                                         },
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "description",
                                                          span: Span {
                                                           start: Position {
                                                            line: 183,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 183,
                                                            column: 26,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "lib",
                                                             span: Span {
                                                              start: Position {
                                                               line: 183,
                                                               column: 29,
                                                              },
                                                              end: Position {
                                                               line: 183,
                                                               column: 32,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "mdDoc",
                                                              span: Span {
                                                               start: Position {
                                                                line: 183,
                                                                column: 33,
                                                               },
                                                               end: Position {
                                                                line: 183,
                                                                column: 38,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          IndentedString(
                                                           IndentedString {
                                                            parts: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "The public key data for the host. You can fetch a public key\nfrom a running SSH server with the {command}`ssh-keyscan`\ncommand. The public key should not include any host names, only\nthe key type and the key itself.\n",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 184,
                                                                 column: 1,
                                                                },
                                                                end: Position {
                                                                 line: 188,
                                                                 column: 15,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            span: Span {
                                                             start: Position {
                                                              line: 183,
                                                              column: 39,
                                                             },
                                                             end: Position {
                                                              line: 188,
                                                              column: 17,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                    ],
                                                    span: Span {
                                                     start: Position {
                                                      line: 179,
                                                      column: 34,
                                                     },
                                                     end: Position {
                                                      line: 189,
                                                      column: 14,
                                                     },
                                                    },
                                                   },
                                                  ),
                                                 ],
                                                },
                                               ),
                                              },
                                             ),
                                             KeyValue(
                                              BindingKeyValue {
                                               from: [
                                                Raw(
                                                 PartRaw {
                                                  content: "publicKeyFile",
                                                  span: Span {
                                                   start: Position {
                                                    line: 190,
                                                    column: 13,
                                                   },
                                                   end: Position {
                                                    line: 190,
                                                    column: 26,
                                                   },
                                                  },
                                                 },
                                                ),
                                               ],
                                               to: FunctionApplication(
                                                FunctionApplication {
                                                 function: Identifier(
                                                  Identifier {
                                                   id: "mkOption",
                                                   span: Span {
                                                    start: Position {
                                                     line: 190,
                                                     column: 29,
                                                    },
                                                    end: Position {
                                                     line: 190,
                                                     column: 37,
                                                    },
                                                   },
                                                  },
                                                 ),
                                                 arguments: [
                                                  Map(
                                                   Map {
                                                    recursive: false,
                                                    bindings: [
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "default",
                                                          span: Span {
                                                           start: Position {
                                                            line: 191,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 191,
                                                            column: 22,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: Identifier(
                                                        Identifier {
                                                         id: "null",
                                                         span: Span {
                                                          start: Position {
                                                           line: 191,
                                                           column: 25,
                                                          },
                                                          end: Position {
                                                           line: 191,
                                                           column: 29,
                                                          },
                                                         },
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "type",
                                                          span: Span {
                                                           start: Position {
                                                            line: 192,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 192,
                                                            column: 19,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "types",
                                                             span: Span {
                                                              start: Position {
                                                               line: 192,
                                                               column: 22,
                                                              },
                                                              end: Position {
                                                               line: 192,
                                                               column: 27,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "nullOr",
                                                              span: Span {
                                                               start: Position {
                                                                line: 192,
                                                                column: 28,
                                                               },
                                                               end: Position {
                                                                line: 192,
                                                                column: 34,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          PropertyAccess(
                                                           PropertyAccess {
                                                            expression: Identifier(
                                                             Identifier {
                                                              id: "types",
                                                              span: Span {
                                                               start: Position {
                                                                line: 192,
                                                                column: 35,
                                                               },
                                                               end: Position {
                                                                line: 192,
                                                                column: 40,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                            attribute_path: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "path",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 192,
                                                                 column: 41,
                                                                },
                                                                end: Position {
                                                                 line: 192,
                                                                 column: 45,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            default: None,
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                     KeyValue(
                                                      BindingKeyValue {
                                                       from: [
                                                        Raw(
                                                         PartRaw {
                                                          content: "description",
                                                          span: Span {
                                                           start: Position {
                                                            line: 193,
                                                            column: 15,
                                                           },
                                                           end: Position {
                                                            line: 193,
                                                            column: 26,
                                                           },
                                                          },
                                                         },
                                                        ),
                                                       ],
                                                       to: FunctionApplication(
                                                        FunctionApplication {
                                                         function: PropertyAccess(
                                                          PropertyAccess {
                                                           expression: Identifier(
                                                            Identifier {
                                                             id: "lib",
                                                             span: Span {
                                                              start: Position {
                                                               line: 193,
                                                               column: 29,
                                                              },
                                                              end: Position {
                                                               line: 193,
                                                               column: 32,
                                                              },
                                                             },
                                                            },
                                                           ),
                                                           attribute_path: [
                                                            Raw(
                                                             PartRaw {
                                                              content: "mdDoc",
                                                              span: Span {
                                                               start: Position {
                                                                line: 193,
                                                                column: 33,
                                                               },
                                                               end: Position {
                                                                line: 193,
                                                                column: 38,
                                                               },
                                                              },
                                                             },
                                                            ),
                                                           ],
                                                           default: None,
                                                          },
                                                         ),
                                                         arguments: [
                                                          IndentedString(
                                                           IndentedString {
                                                            parts: [
                                                             Raw(
                                                              PartRaw {
                                                               content: "The path to the public key file for the host. The public\nkey file is read at build time and saved in the Nix store.\nYou can fetch a public key file from a running SSH server\nwith the {command}`ssh-keyscan` command. The content\nof the file should follow the same format as described for\nthe `publicKey` option. Only a single key\nis supported. If a host has multiple keys, use\n{option}`programs.ssh.knownHostsFiles` instead.\n",
                                                               span: Span {
                                                                start: Position {
                                                                 line: 194,
                                                                 column: 1,
                                                                },
                                                                end: Position {
                                                                 line: 202,
                                                                 column: 15,
                                                                },
                                                               },
                                                              },
                                                             ),
                                                            ],
                                                            span: Span {
                                                             start: Position {
                                                              line: 193,
                                                              column: 39,
                                                             },
                                                             end: Position {
                                                              line: 202,
                                                              column: 17,
                                                             },
                                                            },
                                                           },
                                                          ),
                                                         ],
                                                        },
                                                       ),
                                                      },
                                                     ),
                                                    ],
                                                    span: Span {
                                                     start: Position {
                                                      line: 190,
                                                      column: 38,
                                                     },
                                                     end: Position {
                                                      line: 203,
                                                      column: 14,
                                                     },
                                                    },
                                                   },
                                                  ),
                                                 ],
                                                },
                                               ),
                                              },
                                             ),
                                            ],
                                            span: Span {
                                             start: Position {
                                              line: 147,
                                              column: 21,
                                             },
                                             end: Position {
                                              line: 204,
                                              column: 12,
                                             },
                                            },
                                           },
                                          ),
                                         },
                                        ),
                                       ],
                                       span: Span {
                                        start: Position {
                                         line: 146,
                                         column: 80,
                                        },
                                        end: Position {
                                         line: 205,
                                         column: 10,
                                        },
                                       },
                                      },
                                     ),
                                     span: Span {
                                      start: Position {
                                       line: 146,
                                       column: 48,
                                      },
                                      end: Position {
                                       line: 205,
                                       column: 10,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 206,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 206,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 206,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 206,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 206,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 206,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "The set of system-wide known SSH hosts. To make simple setups more\nconvenient the name of an attribute in this set is used as a host name\nfor the entry. This behaviour can be disabled by setting\n`hostNames` explicitly. You can use\n`extraHostNames` to add additional host names without\ndisabling this default.\n",
                                     span: Span {
                                      start: Position {
                                       line: 207,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 213,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 206,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 213,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 214,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 214,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "literalExpression",
                                 span: Span {
                                  start: Position {
                                   line: 214,
                                   column: 19,
                                  },
                                  end: Position {
                                   line: 214,
                                   column: 36,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "{\n  myhost = {\n    extraHostNames = [ \"myhost.mydomain.com\" \"10.10.1.4\" ];\n    publicKeyFile = ./pubkeys/myhost_ssh_host_dsa_key.pub;\n  };\n  \"myhost2.net\".publicKey = \"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAILIRuJ8p1Fi+m6WkHV0KWnRfpM1WxoW8XAS+XvsSKsTK\";\n  \"myhost2.net/dsa\" = {\n    hostNames = [ \"myhost2.net\" ];\n    publicKeyFile = ./pubkeys/myhost2_ssh_host_dsa_key.pub;\n  };\n}\n",
                                     span: Span {
                                      start: Position {
                                       line: 215,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 226,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 214,
                                    column: 37,
                                   },
                                   end: Position {
                                    line: 226,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 144,
                            column: 29,
                           },
                           end: Position {
                            line: 227,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "knownHostsFiles",
                        span: Span {
                         start: Position {
                          line: 229,
                          column: 7,
                         },
                         end: Position {
                          line: 229,
                          column: 22,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 229,
                           column: 25,
                          },
                          end: Position {
                           line: 229,
                           column: 33,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 230,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 230,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [],
                               span: Span {
                                start: Position {
                                 line: 230,
                                 column: 19,
                                },
                                end: Position {
                                 line: 230,
                                 column: 21,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 231,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 231,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: With(
                              With {
                               expression: Identifier(
                                Identifier {
                                 id: "types",
                                 span: Span {
                                  start: Position {
                                   line: 231,
                                   column: 21,
                                  },
                                  end: Position {
                                   line: 231,
                                   column: 26,
                                  },
                                 },
                                },
                               ),
                               target: FunctionApplication(
                                FunctionApplication {
                                 function: Identifier(
                                  Identifier {
                                   id: "listOf",
                                   span: Span {
                                    start: Position {
                                     line: 231,
                                     column: 28,
                                    },
                                    end: Position {
                                     line: 231,
                                     column: 34,
                                    },
                                   },
                                  },
                                 ),
                                 arguments: [
                                  Identifier(
                                   Identifier {
                                    id: "path",
                                    span: Span {
                                     start: Position {
                                      line: 231,
                                      column: 35,
                                     },
                                     end: Position {
                                      line: 231,
                                      column: 39,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                },
                               ),
                               span: Span {
                                start: Position {
                                 line: 231,
                                 column: 16,
                                },
                                end: Position {
                                 line: 231,
                                 column: 39,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 232,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 232,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 232,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 232,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 232,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 232,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Files containing SSH host keys to set as global known hosts.\n`/etc/ssh/ssh_known_hosts` (which is\ngenerated by {option}`programs.ssh.knownHosts`) and\n`/etc/ssh/ssh_known_hosts2` are always\nincluded.\n",
                                     span: Span {
                                      start: Position {
                                       line: 233,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 238,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 232,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 238,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 239,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 239,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "literalExpression",
                                 span: Span {
                                  start: Position {
                                   line: 239,
                                   column: 19,
                                  },
                                  end: Position {
                                   line: 239,
                                   column: 36,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "[\n  ./known_hosts\n  (writeText \"github.keys\" ",
                                     span: Span {
                                      start: Position {
                                       line: 240,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 242,
                                       column: 38,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: "''",
                                     span: Span {
                                      start: Position {
                                       line: 240,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 242,
                                       column: 41,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: "\n    github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==\n    github.com ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBEmKSENjQEezOmxkZMy7opKgwFB9nkt5YRrYMjNuG5N87uRgg6CLrbo5wAdT/y6v0mKV0U2w0WZ2YB/++Tpockg=\n    github.com ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOMqqnkVzrm0SdG6UOoqKLsabgH5C9okWi0dh2l9GKJl\n  ",
                                     span: Span {
                                      start: Position {
                                       line: 240,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 246,
                                       column: 13,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: "''",
                                     span: Span {
                                      start: Position {
                                       line: 240,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 246,
                                       column: 16,
                                      },
                                     },
                                    },
                                   ),
                                   Raw(
                                    PartRaw {
                                     content: ")\n]\n",
                                     span: Span {
                                      start: Position {
                                       line: 240,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 248,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 239,
                                    column: 37,
                                   },
                                   end: Position {
                                    line: 248,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 229,
                            column: 34,
                           },
                           end: Position {
                            line: 249,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "kexAlgorithms",
                        span: Span {
                         start: Position {
                          line: 251,
                          column: 7,
                         },
                         end: Position {
                          line: 251,
                          column: 20,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 251,
                           column: 23,
                          },
                          end: Position {
                           line: 251,
                           column: 31,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 252,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 252,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 252,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 252,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "nullOr",
                                    span: Span {
                                     start: Position {
                                      line: 252,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 252,
                                      column: 28,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                FunctionApplication(
                                 FunctionApplication {
                                  function: PropertyAccess(
                                   PropertyAccess {
                                    expression: Identifier(
                                     Identifier {
                                      id: "types",
                                      span: Span {
                                       start: Position {
                                        line: 252,
                                        column: 30,
                                       },
                                       end: Position {
                                        line: 252,
                                        column: 35,
                                       },
                                      },
                                     },
                                    ),
                                    attribute_path: [
                                     Raw(
                                      PartRaw {
                                       content: "listOf",
                                       span: Span {
                                        start: Position {
                                         line: 252,
                                         column: 36,
                                        },
                                        end: Position {
                                         line: 252,
                                         column: 42,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    default: None,
                                   },
                                  ),
                                  arguments: [
                                   PropertyAccess(
                                    PropertyAccess {
                                     expression: Identifier(
                                      Identifier {
                                       id: "types",
                                       span: Span {
                                        start: Position {
                                         line: 252,
                                         column: 43,
                                        },
                                        end: Position {
                                         line: 252,
                                         column: 48,
                                        },
                                       },
                                      },
                                     ),
                                     attribute_path: [
                                      Raw(
                                       PartRaw {
                                        content: "str",
                                        span: Span {
                                         start: Position {
                                          line: 252,
                                          column: 49,
                                         },
                                         end: Position {
                                          line: 252,
                                          column: 52,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     default: None,
                                    },
                                   ),
                                  ],
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 253,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 253,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Identifier(
                              Identifier {
                               id: "null",
                               span: Span {
                                start: Position {
                                 line: 253,
                                 column: 19,
                                },
                                end: Position {
                                 line: 253,
                                 column: 23,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 254,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 254,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "curve25519-sha256@libssh.org",
                                     span: Span {
                                      start: Position {
                                       line: 254,
                                       column: 22,
                                      },
                                      end: Position {
                                       line: 254,
                                       column: 50,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 254,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 254,
                                    column: 51,
                                   },
                                  },
                                 },
                                ),
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "diffie-hellman-group-exchange-sha256",
                                     span: Span {
                                      start: Position {
                                       line: 254,
                                       column: 53,
                                      },
                                      end: Position {
                                       line: 254,
                                       column: 89,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 254,
                                    column: 52,
                                   },
                                   end: Position {
                                    line: 254,
                                    column: 90,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 254,
                                 column: 19,
                                },
                                end: Position {
                                 line: 254,
                                 column: 92,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 255,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 255,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 255,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 255,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 255,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 255,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Specifies the available KEX (Key Exchange) algorithms.\n",
                                     span: Span {
                                      start: Position {
                                       line: 256,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 257,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 255,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 257,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 251,
                            column: 32,
                           },
                           end: Position {
                            line: 258,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "ciphers",
                        span: Span {
                         start: Position {
                          line: 260,
                          column: 7,
                         },
                         end: Position {
                          line: 260,
                          column: 14,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 260,
                           column: 17,
                          },
                          end: Position {
                           line: 260,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 261,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 261,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 261,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 261,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "nullOr",
                                    span: Span {
                                     start: Position {
                                      line: 261,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 261,
                                      column: 28,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                FunctionApplication(
                                 FunctionApplication {
                                  function: PropertyAccess(
                                   PropertyAccess {
                                    expression: Identifier(
                                     Identifier {
                                      id: "types",
                                      span: Span {
                                       start: Position {
                                        line: 261,
                                        column: 30,
                                       },
                                       end: Position {
                                        line: 261,
                                        column: 35,
                                       },
                                      },
                                     },
                                    ),
                                    attribute_path: [
                                     Raw(
                                      PartRaw {
                                       content: "listOf",
                                       span: Span {
                                        start: Position {
                                         line: 261,
                                         column: 36,
                                        },
                                        end: Position {
                                         line: 261,
                                         column: 42,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    default: None,
                                   },
                                  ),
                                  arguments: [
                                   PropertyAccess(
                                    PropertyAccess {
                                     expression: Identifier(
                                      Identifier {
                                       id: "types",
                                       span: Span {
                                        start: Position {
                                         line: 261,
                                         column: 43,
                                        },
                                        end: Position {
                                         line: 261,
                                         column: 48,
                                        },
                                       },
                                      },
                                     ),
                                     attribute_path: [
                                      Raw(
                                       PartRaw {
                                        content: "str",
                                        span: Span {
                                         start: Position {
                                          line: 261,
                                          column: 49,
                                         },
                                         end: Position {
                                          line: 261,
                                          column: 52,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     default: None,
                                    },
                                   ),
                                  ],
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 262,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 262,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Identifier(
                              Identifier {
                               id: "null",
                               span: Span {
                                start: Position {
                                 line: 262,
                                 column: 19,
                                },
                                end: Position {
                                 line: 262,
                                 column: 23,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 263,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 263,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "chacha20-poly1305@openssh.com",
                                     span: Span {
                                      start: Position {
                                       line: 263,
                                       column: 22,
                                      },
                                      end: Position {
                                       line: 263,
                                       column: 51,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 263,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 263,
                                    column: 52,
                                   },
                                  },
                                 },
                                ),
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "aes256-gcm@openssh.com",
                                     span: Span {
                                      start: Position {
                                       line: 263,
                                       column: 54,
                                      },
                                      end: Position {
                                       line: 263,
                                       column: 76,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 263,
                                    column: 53,
                                   },
                                   end: Position {
                                    line: 263,
                                    column: 77,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 263,
                                 column: 19,
                                },
                                end: Position {
                                 line: 263,
                                 column: 79,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 264,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 264,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 264,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 264,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 264,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 264,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Specifies the ciphers allowed and their order of preference.\n",
                                     span: Span {
                                      start: Position {
                                       line: 265,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 266,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 264,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 266,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 260,
                            column: 26,
                           },
                           end: Position {
                            line: 267,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   KeyValue(
                    BindingKeyValue {
                     from: [
                      Raw(
                       PartRaw {
                        content: "macs",
                        span: Span {
                         start: Position {
                          line: 269,
                          column: 7,
                         },
                         end: Position {
                          line: 269,
                          column: 11,
                         },
                        },
                       },
                      ),
                     ],
                     to: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "mkOption",
                         span: Span {
                          start: Position {
                           line: 269,
                           column: 14,
                          },
                          end: Position {
                           line: 269,
                           column: 22,
                          },
                         },
                        },
                       ),
                       arguments: [
                        Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "type",
                                span: Span {
                                 start: Position {
                                  line: 270,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 270,
                                  column: 13,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "types",
                                   span: Span {
                                    start: Position {
                                     line: 270,
                                     column: 16,
                                    },
                                    end: Position {
                                     line: 270,
                                     column: 21,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "nullOr",
                                    span: Span {
                                     start: Position {
                                      line: 270,
                                      column: 22,
                                     },
                                     end: Position {
                                      line: 270,
                                      column: 28,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                FunctionApplication(
                                 FunctionApplication {
                                  function: PropertyAccess(
                                   PropertyAccess {
                                    expression: Identifier(
                                     Identifier {
                                      id: "types",
                                      span: Span {
                                       start: Position {
                                        line: 270,
                                        column: 30,
                                       },
                                       end: Position {
                                        line: 270,
                                        column: 35,
                                       },
                                      },
                                     },
                                    ),
                                    attribute_path: [
                                     Raw(
                                      PartRaw {
                                       content: "listOf",
                                       span: Span {
                                        start: Position {
                                         line: 270,
                                         column: 36,
                                        },
                                        end: Position {
                                         line: 270,
                                         column: 42,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    default: None,
                                   },
                                  ),
                                  arguments: [
                                   PropertyAccess(
                                    PropertyAccess {
                                     expression: Identifier(
                                      Identifier {
                                       id: "types",
                                       span: Span {
                                        start: Position {
                                         line: 270,
                                         column: 43,
                                        },
                                        end: Position {
                                         line: 270,
                                         column: 48,
                                        },
                                       },
                                      },
                                     ),
                                     attribute_path: [
                                      Raw(
                                       PartRaw {
                                        content: "str",
                                        span: Span {
                                         start: Position {
                                          line: 270,
                                          column: 49,
                                         },
                                         end: Position {
                                          line: 270,
                                          column: 52,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     default: None,
                                    },
                                   ),
                                  ],
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "default",
                                span: Span {
                                 start: Position {
                                  line: 271,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 271,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: Identifier(
                              Identifier {
                               id: "null",
                               span: Span {
                                start: Position {
                                 line: 271,
                                 column: 19,
                                },
                                end: Position {
                                 line: 271,
                                 column: 23,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "example",
                                span: Span {
                                 start: Position {
                                  line: 272,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 272,
                                  column: 16,
                                 },
                                },
                               },
                              ),
                             ],
                             to: List(
                              List {
                               elements: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "hmac-sha2-512-etm@openssh.com",
                                     span: Span {
                                      start: Position {
                                       line: 272,
                                       column: 22,
                                      },
                                      end: Position {
                                       line: 272,
                                       column: 51,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 272,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 272,
                                    column: 52,
                                   },
                                  },
                                 },
                                ),
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "hmac-sha1",
                                     span: Span {
                                      start: Position {
                                       line: 272,
                                       column: 54,
                                      },
                                      end: Position {
                                       line: 272,
                                       column: 63,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 272,
                                    column: 53,
                                   },
                                   end: Position {
                                    line: 272,
                                    column: 64,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 272,
                                 column: 19,
                                },
                                end: Position {
                                 line: 272,
                                 column: 66,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "description",
                                span: Span {
                                 start: Position {
                                  line: 273,
                                  column: 9,
                                 },
                                 end: Position {
                                  line: 273,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: FunctionApplication(
                              FunctionApplication {
                               function: PropertyAccess(
                                PropertyAccess {
                                 expression: Identifier(
                                  Identifier {
                                   id: "lib",
                                   span: Span {
                                    start: Position {
                                     line: 273,
                                     column: 23,
                                    },
                                    end: Position {
                                     line: 273,
                                     column: 26,
                                    },
                                   },
                                  },
                                 ),
                                 attribute_path: [
                                  Raw(
                                   PartRaw {
                                    content: "mdDoc",
                                    span: Span {
                                     start: Position {
                                      line: 273,
                                      column: 27,
                                     },
                                     end: Position {
                                      line: 273,
                                      column: 32,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 default: None,
                                },
                               ),
                               arguments: [
                                IndentedString(
                                 IndentedString {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: "Specifies the MAC (message authentication code) algorithms in order of preference. The MAC algorithm is used\nfor data integrity protection.\n",
                                     span: Span {
                                      start: Position {
                                       line: 274,
                                       column: 1,
                                      },
                                      end: Position {
                                       line: 276,
                                       column: 9,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 273,
                                    column: 33,
                                   },
                                   end: Position {
                                    line: 276,
                                    column: 11,
                                   },
                                  },
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 269,
                            column: 23,
                           },
                           end: Position {
                            line: 277,
                            column: 8,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                  ],
                  span: Span {
                   start: Position {
                    line: 38,
                    column: 20,
                   },
                   end: Position {
                    line: 278,
                    column: 6,
                   },
                  },
                 },
                ),
               },
              ),
             ],
             span: Span {
              start: Position {
               line: 36,
               column: 13,
              },
              end: Position {
               line: 280,
               column: 4,
              },
             },
            },
           ),
          },
         ),
         KeyValue(
          BindingKeyValue {
           from: [
            Raw(
             PartRaw {
              content: "config",
              span: Span {
               start: Position {
                line: 282,
                column: 3,
               },
               end: Position {
                line: 282,
                column: 9,
               },
              },
             },
            ),
           ],
           to: Map(
            Map {
             recursive: false,
             bindings: [
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "programs",
                   span: Span {
                    start: Position {
                     line: 284,
                     column: 5,
                    },
                    end: Position {
                     line: 284,
                     column: 13,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "ssh",
                   span: Span {
                    start: Position {
                     line: 284,
                     column: 14,
                    },
                    end: Position {
                     line: 284,
                     column: 17,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "setXAuthLocation",
                   span: Span {
                    start: Position {
                     line: 284,
                     column: 18,
                    },
                    end: Position {
                     line: 284,
                     column: 34,
                    },
                   },
                  },
                 ),
                ],
                to: FunctionApplication(
                 FunctionApplication {
                  function: Identifier(
                   Identifier {
                    id: "mkDefault",
                    span: Span {
                     start: Position {
                      line: 285,
                      column: 7,
                     },
                     end: Position {
                      line: 285,
                      column: 16,
                     },
                    },
                   },
                  ),
                  arguments: [
                   BinaryOperation(
                    BinaryOperation {
                     left: BinaryOperation(
                      BinaryOperation {
                       left: PropertyAccess(
                        PropertyAccess {
                         expression: Identifier(
                          Identifier {
                           id: "config",
                           span: Span {
                            start: Position {
                             line: 285,
                             column: 18,
                            },
                            end: Position {
                             line: 285,
                             column: 24,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "services",
                            span: Span {
                             start: Position {
                              line: 285,
                              column: 25,
                             },
                             end: Position {
                              line: 285,
                              column: 33,
                             },
                            },
                           },
                          ),
                          Raw(
                           PartRaw {
                            content: "xserver",
                            span: Span {
                             start: Position {
                              line: 285,
                              column: 34,
                             },
                             end: Position {
                              line: 285,
                              column: 41,
                             },
                            },
                           },
                          ),
                          Raw(
                           PartRaw {
                            content: "enable",
                            span: Span {
                             start: Position {
                              line: 285,
                              column: 42,
                             },
                             end: Position {
                              line: 285,
                              column: 48,
                             },
                            },
                           },
                          ),
                         ],
                         default: None,
                        },
                       ),
                       operator: LogicalOr,
                       right: PropertyAccess(
                        PropertyAccess {
                         expression: Identifier(
                          Identifier {
                           id: "config",
                           span: Span {
                            start: Position {
                             line: 285,
                             column: 52,
                            },
                            end: Position {
                             line: 285,
                             column: 58,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "programs",
                            span: Span {
                             start: Position {
                              line: 285,
                              column: 59,
                             },
                             end: Position {
                              line: 285,
                              column: 67,
                             },
                            },
                           },
                          ),
                          Raw(
                           PartRaw {
                            content: "ssh",
                            span: Span {
                             start: Position {
                              line: 285,
                              column: 68,
                             },
                             end: Position {
                              line: 285,
                              column: 71,
                             },
                            },
                           },
                          ),
                          Raw(
                           PartRaw {
                            content: "forwardX11",
                            span: Span {
                             start: Position {
                              line: 285,
                              column: 72,
                             },
                             end: Position {
                              line: 285,
                              column: 82,
                             },
                            },
                           },
                          ),
                         ],
                         default: None,
                        },
                       ),
                      },
                     ),
                     operator: LogicalOr,
                     right: PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "config",
                         span: Span {
                          start: Position {
                           line: 285,
                           column: 86,
                          },
                          end: Position {
                           line: 285,
                           column: 92,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "services",
                          span: Span {
                           start: Position {
                            line: 285,
                            column: 93,
                           },
                           end: Position {
                            line: 285,
                            column: 101,
                           },
                          },
                         },
                        ),
                        Raw(
                         PartRaw {
                          content: "openssh",
                          span: Span {
                           start: Position {
                            line: 285,
                            column: 102,
                           },
                           end: Position {
                            line: 285,
                            column: 109,
                           },
                          },
                         },
                        ),
                        Raw(
                         PartRaw {
                          content: "forwardX11",
                          span: Span {
                           start: Position {
                            line: 285,
                            column: 110,
                           },
                           end: Position {
                            line: 285,
                            column: 120,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                    },
                   ),
                  ],
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "assertions",
                   span: Span {
                    start: Position {
                     line: 287,
                     column: 5,
                    },
                    end: Position {
                     line: 287,
                     column: 15,
                    },
                   },
                  },
                 ),
                ],
                to: BinaryOperation(
                 BinaryOperation {
                  left: List(
                   List {
                    elements: [
                     Map(
                      Map {
                       recursive: false,
                       bindings: [
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "assertion",
                             span: Span {
                              start: Position {
                               line: 288,
                               column: 11,
                              },
                              end: Position {
                               line: 288,
                               column: 20,
                              },
                             },
                            },
                           ),
                          ],
                          to: BinaryOperation(
                           BinaryOperation {
                            left: PropertyAccess(
                             PropertyAccess {
                              expression: Identifier(
                               Identifier {
                                id: "cfg",
                                span: Span {
                                 start: Position {
                                  line: 288,
                                  column: 23,
                                 },
                                 end: Position {
                                  line: 288,
                                  column: 26,
                                 },
                                },
                               },
                              ),
                              attribute_path: [
                               Raw(
                                PartRaw {
                                 content: "forwardX11",
                                 span: Span {
                                  start: Position {
                                   line: 288,
                                   column: 27,
                                  },
                                  end: Position {
                                   line: 288,
                                   column: 37,
                                  },
                                 },
                                },
                               ),
                              ],
                              default: None,
                             },
                            ),
                            operator: Implication,
                            right: PropertyAccess(
                             PropertyAccess {
                              expression: Identifier(
                               Identifier {
                                id: "cfg",
                                span: Span {
                                 start: Position {
                                  line: 288,
                                  column: 41,
                                 },
                                 end: Position {
                                  line: 288,
                                  column: 44,
                                 },
                                },
                               },
                              ),
                              attribute_path: [
                               Raw(
                                PartRaw {
                                 content: "setXAuthLocation",
                                 span: Span {
                                  start: Position {
                                   line: 288,
                                   column: 45,
                                  },
                                  end: Position {
                                   line: 288,
                                   column: 61,
                                  },
                                 },
                                },
                               ),
                              ],
                              default: None,
                             },
                            ),
                           },
                          ),
                         },
                        ),
                        KeyValue(
                         BindingKeyValue {
                          from: [
                           Raw(
                            PartRaw {
                             content: "message",
                             span: Span {
                              start: Position {
                               line: 289,
                               column: 11,
                              },
                              end: Position {
                               line: 289,
                               column: 18,
                              },
                             },
                            },
                           ),
                          ],
                          to: String(
                           String_ {
                            parts: [
                             Raw(
                              PartRaw {
                               content: "cannot enable X11 forwarding without setting XAuth location",
                               span: Span {
                                start: Position {
                                 line: 289,
                                 column: 22,
                                },
                                end: Position {
                                 line: 289,
                                 column: 81,
                                },
                               },
                              },
                             ),
                            ],
                            span: Span {
                             start: Position {
                              line: 289,
                              column: 21,
                             },
                             end: Position {
                              line: 289,
                              column: 82,
                             },
                            },
                           },
                          ),
                         },
                        ),
                       ],
                       span: Span {
                        start: Position {
                         line: 288,
                         column: 9,
                        },
                        end: Position {
                         line: 290,
                         column: 10,
                        },
                       },
                      },
                     ),
                    ],
                    span: Span {
                     start: Position {
                      line: 288,
                      column: 7,
                     },
                     end: Position {
                      line: 291,
                      column: 8,
                     },
                    },
                   },
                  ),
                  operator: Concatenation,
                  right: FunctionApplication(
                   FunctionApplication {
                    function: Identifier(
                     Identifier {
                      id: "flip",
                      span: Span {
                       start: Position {
                        line: 291,
                        column: 12,
                       },
                       end: Position {
                        line: 291,
                        column: 16,
                       },
                      },
                     },
                    ),
                    arguments: [
                     Identifier(
                      Identifier {
                       id: "mapAttrsToList",
                       span: Span {
                        start: Position {
                         line: 291,
                         column: 17,
                        },
                        end: Position {
                         line: 291,
                         column: 31,
                        },
                       },
                      },
                     ),
                     PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "cfg",
                         span: Span {
                          start: Position {
                           line: 291,
                           column: 32,
                          },
                          end: Position {
                           line: 291,
                           column: 35,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "knownHosts",
                          span: Span {
                           start: Position {
                            line: 291,
                            column: 36,
                           },
                           end: Position {
                            line: 291,
                            column: 46,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                     Function(
                      Function {
                       head: Simple(
                        FunctionHeadSimple {
                         identifier: "name",
                        },
                       ),
                       body: Function(
                        Function {
                         head: Simple(
                          FunctionHeadSimple {
                           identifier: "data",
                          },
                         ),
                         body: Map(
                          Map {
                           recursive: false,
                           bindings: [
                            KeyValue(
                             BindingKeyValue {
                              from: [
                               Raw(
                                PartRaw {
                                 content: "assertion",
                                 span: Span {
                                  start: Position {
                                   line: 292,
                                   column: 9,
                                  },
                                  end: Position {
                                   line: 292,
                                   column: 18,
                                  },
                                 },
                                },
                               ),
                              ],
                              to: BinaryOperation(
                               BinaryOperation {
                                left: BinaryOperation(
                                 BinaryOperation {
                                  left: BinaryOperation(
                                   BinaryOperation {
                                    left: PropertyAccess(
                                     PropertyAccess {
                                      expression: Identifier(
                                       Identifier {
                                        id: "data",
                                        span: Span {
                                         start: Position {
                                          line: 292,
                                          column: 22,
                                         },
                                         end: Position {
                                          line: 292,
                                          column: 26,
                                         },
                                        },
                                       },
                                      ),
                                      attribute_path: [
                                       Raw(
                                        PartRaw {
                                         content: "publicKey",
                                         span: Span {
                                          start: Position {
                                           line: 292,
                                           column: 27,
                                          },
                                          end: Position {
                                           line: 292,
                                           column: 36,
                                          },
                                         },
                                        },
                                       ),
                                      ],
                                      default: None,
                                     },
                                    ),
                                    operator: EqualTo,
                                    right: Identifier(
                                     Identifier {
                                      id: "null",
                                      span: Span {
                                       start: Position {
                                        line: 292,
                                        column: 40,
                                       },
                                       end: Position {
                                        line: 292,
                                        column: 44,
                                       },
                                      },
                                     },
                                    ),
                                   },
                                  ),
                                  operator: LogicalAnd,
                                  right: BinaryOperation(
                                   BinaryOperation {
                                    left: PropertyAccess(
                                     PropertyAccess {
                                      expression: Identifier(
                                       Identifier {
                                        id: "data",
                                        span: Span {
                                         start: Position {
                                          line: 292,
                                          column: 48,
                                         },
                                         end: Position {
                                          line: 292,
                                          column: 52,
                                         },
                                        },
                                       },
                                      ),
                                      attribute_path: [
                                       Raw(
                                        PartRaw {
                                         content: "publicKeyFile",
                                         span: Span {
                                          start: Position {
                                           line: 292,
                                           column: 53,
                                          },
                                          end: Position {
                                           line: 292,
                                           column: 66,
                                          },
                                         },
                                        },
                                       ),
                                      ],
                                      default: None,
                                     },
                                    ),
                                    operator: NotEqualTo,
                                    right: Identifier(
                                     Identifier {
                                      id: "null",
                                      span: Span {
                                       start: Position {
                                        line: 292,
                                        column: 70,
                                       },
                                       end: Position {
                                        line: 292,
                                        column: 74,
                                       },
                                      },
                                     },
                                    ),
                                   },
                                  ),
                                 },
                                ),
                                operator: LogicalOr,
                                right: BinaryOperation(
                                 BinaryOperation {
                                  left: BinaryOperation(
                                   BinaryOperation {
                                    left: PropertyAccess(
                                     PropertyAccess {
                                      expression: Identifier(
                                       Identifier {
                                        id: "data",
                                        span: Span {
                                         start: Position {
                                          line: 293,
                                          column: 22,
                                         },
                                         end: Position {
                                          line: 293,
                                          column: 26,
                                         },
                                        },
                                       },
                                      ),
                                      attribute_path: [
                                       Raw(
                                        PartRaw {
                                         content: "publicKey",
                                         span: Span {
                                          start: Position {
                                           line: 293,
                                           column: 27,
                                          },
                                          end: Position {
                                           line: 293,
                                           column: 36,
                                          },
                                         },
                                        },
                                       ),
                                      ],
                                      default: None,
                                     },
                                    ),
                                    operator: NotEqualTo,
                                    right: Identifier(
                                     Identifier {
                                      id: "null",
                                      span: Span {
                                       start: Position {
                                        line: 293,
                                        column: 40,
                                       },
                                       end: Position {
                                        line: 293,
                                        column: 44,
                                       },
                                      },
                                     },
                                    ),
                                   },
                                  ),
                                  operator: LogicalAnd,
                                  right: BinaryOperation(
                                   BinaryOperation {
                                    left: PropertyAccess(
                                     PropertyAccess {
                                      expression: Identifier(
                                       Identifier {
                                        id: "data",
                                        span: Span {
                                         start: Position {
                                          line: 293,
                                          column: 48,
                                         },
                                         end: Position {
                                          line: 293,
                                          column: 52,
                                         },
                                        },
                                       },
                                      ),
                                      attribute_path: [
                                       Raw(
                                        PartRaw {
                                         content: "publicKeyFile",
                                         span: Span {
                                          start: Position {
                                           line: 293,
                                           column: 53,
                                          },
                                          end: Position {
                                           line: 293,
                                           column: 66,
                                          },
                                         },
                                        },
                                       ),
                                      ],
                                      default: None,
                                     },
                                    ),
                                    operator: EqualTo,
                                    right: Identifier(
                                     Identifier {
                                      id: "null",
                                      span: Span {
                                       start: Position {
                                        line: 293,
                                        column: 70,
                                       },
                                       end: Position {
                                        line: 293,
                                        column: 74,
                                       },
                                      },
                                     },
                                    ),
                                   },
                                  ),
                                 },
                                ),
                               },
                              ),
                             },
                            ),
                            KeyValue(
                             BindingKeyValue {
                              from: [
                               Raw(
                                PartRaw {
                                 content: "message",
                                 span: Span {
                                  start: Position {
                                   line: 294,
                                   column: 9,
                                  },
                                  end: Position {
                                   line: 294,
                                   column: 16,
                                  },
                                 },
                                },
                               ),
                              ],
                              to: String(
                               String_ {
                                parts: [
                                 Raw(
                                  PartRaw {
                                   content: "knownHost ",
                                   span: Span {
                                    start: Position {
                                     line: 294,
                                     column: 20,
                                    },
                                    end: Position {
                                     line: 294,
                                     column: 37,
                                    },
                                   },
                                  },
                                 ),
                                 Interpolation(
                                  PartInterpolation {
                                   expression: Identifier(
                                    Identifier {
                                     id: "name",
                                     span: Span {
                                      start: Position {
                                       line: 294,
                                       column: 32,
                                      },
                                      end: Position {
                                       line: 294,
                                       column: 36,
                                      },
                                     },
                                    },
                                   ),
                                  },
                                 ),
                                 Raw(
                                  PartRaw {
                                   content: " must contain either a publicKey or publicKeyFile",
                                   span: Span {
                                    start: Position {
                                     line: 294,
                                     column: 20,
                                    },
                                    end: Position {
                                     line: 294,
                                     column: 86,
                                    },
                                   },
                                  },
                                 ),
                                ],
                                span: Span {
                                 start: Position {
                                  line: 294,
                                  column: 19,
                                 },
                                 end: Position {
                                  line: 294,
                                  column: 87,
                                 },
                                },
                               },
                              ),
                             },
                            ),
                           ],
                           span: Span {
                            start: Position {
                             line: 291,
                             column: 60,
                            },
                            end: Position {
                             line: 295,
                             column: 8,
                            },
                           },
                          },
                         ),
                         span: Span {
                          start: Position {
                           line: 291,
                           column: 54,
                          },
                          end: Position {
                           line: 295,
                           column: 8,
                          },
                         },
                        },
                       ),
                       span: Span {
                        start: Position {
                         line: 291,
                         column: 48,
                        },
                        end: Position {
                         line: 295,
                         column: 8,
                        },
                       },
                      },
                     ),
                    ],
                   },
                  ),
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "environment",
                   span: Span {
                    start: Position {
                     line: 299,
                     column: 5,
                    },
                    end: Position {
                     line: 299,
                     column: 16,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "etc",
                   span: Span {
                    start: Position {
                     line: 299,
                     column: 17,
                    },
                    end: Position {
                     line: 299,
                     column: 20,
                    },
                   },
                  },
                 ),
                 Expression(
                  PartExpression {
                   expression: String(
                    String_ {
                     parts: [
                      Raw(
                       PartRaw {
                        content: "ssh/ssh_config",
                        span: Span {
                         start: Position {
                          line: 299,
                          column: 22,
                         },
                         end: Position {
                          line: 299,
                          column: 36,
                         },
                        },
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 299,
                       column: 21,
                      },
                      end: Position {
                       line: 299,
                       column: 37,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "text",
                   span: Span {
                    start: Position {
                     line: 299,
                     column: 38,
                    },
                    end: Position {
                     line: 299,
                     column: 42,
                    },
                   },
                  },
                 ),
                ],
                to: IndentedString(
                 IndentedString {
                  parts: [
                   Raw(
                    PartRaw {
                     content: "# Custom options from `extraConfig`, to override generated options\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 302,
                       column: 9,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: PropertyAccess(
                      PropertyAccess {
                       expression: Identifier(
                        Identifier {
                         id: "cfg",
                         span: Span {
                          start: Position {
                           line: 302,
                           column: 11,
                          },
                          end: Position {
                           line: 302,
                           column: 14,
                          },
                         },
                        },
                       ),
                       attribute_path: [
                        Raw(
                         PartRaw {
                          content: "extraConfig",
                          span: Span {
                           start: Position {
                            line: 302,
                            column: 15,
                           },
                           end: Position {
                            line: 302,
                            column: 26,
                           },
                          },
                         },
                        ),
                       ],
                       default: None,
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n\n# Generated options from other settings\nHost *\nAddressFamily ",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 306,
                       column: 23,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: IfThenElse(
                      IfThenElse {
                       predicate: PropertyAccess(
                        PropertyAccess {
                         expression: Identifier(
                          Identifier {
                           id: "config",
                           span: Span {
                            start: Position {
                             line: 306,
                             column: 28,
                            },
                            end: Position {
                             line: 306,
                             column: 34,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "networking",
                            span: Span {
                             start: Position {
                              line: 306,
                              column: 35,
                             },
                             end: Position {
                              line: 306,
                              column: 45,
                             },
                            },
                           },
                          ),
                          Raw(
                           PartRaw {
                            content: "enableIPv6",
                            span: Span {
                             start: Position {
                              line: 306,
                              column: 46,
                             },
                             end: Position {
                              line: 306,
                              column: 56,
                             },
                            },
                           },
                          ),
                         ],
                         default: None,
                        },
                       ),
                       then: String(
                        String_ {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "any",
                            span: Span {
                             start: Position {
                              line: 306,
                              column: 63,
                             },
                             end: Position {
                              line: 306,
                              column: 66,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 306,
                           column: 62,
                          },
                          end: Position {
                           line: 306,
                           column: 67,
                          },
                         },
                        },
                       ),
                       else_: String(
                        String_ {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "inet",
                            span: Span {
                             start: Position {
                              line: 306,
                              column: 74,
                             },
                             end: Position {
                              line: 306,
                              column: 78,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 306,
                           column: 73,
                          },
                          end: Position {
                           line: 306,
                           column: 79,
                          },
                         },
                        },
                       ),
                       span: Span {
                        start: Position {
                         line: 306,
                         column: 25,
                        },
                        end: Position {
                         line: 306,
                         column: 79,
                        },
                       },
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\nGlobalKnownHostsFile ",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 307,
                       column: 30,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "concatStringsSep",
                         span: Span {
                          start: Position {
                           line: 307,
                           column: 32,
                          },
                          end: Position {
                           line: 307,
                           column: 48,
                          },
                         },
                        },
                       ),
                       arguments: [
                        String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: " ",
                             span: Span {
                              start: Position {
                               line: 307,
                               column: 50,
                              },
                              end: Position {
                               line: 307,
                               column: 51,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 307,
                            column: 49,
                           },
                           end: Position {
                            line: 307,
                            column: 52,
                           },
                          },
                         },
                        ),
                        Identifier(
                         Identifier {
                          id: "knownHostsFiles",
                          span: Span {
                           start: Position {
                            line: 307,
                            column: 53,
                           },
                           end: Position {
                            line: 307,
                            column: 68,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 309,
                       column: 9,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "optionalString",
                         span: Span {
                          start: Position {
                           line: 309,
                           column: 11,
                          },
                          end: Position {
                           line: 309,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        PropertyAccess(
                         PropertyAccess {
                          expression: Identifier(
                           Identifier {
                            id: "cfg",
                            span: Span {
                             start: Position {
                              line: 309,
                              column: 26,
                             },
                             end: Position {
                              line: 309,
                              column: 29,
                             },
                            },
                           },
                          ),
                          attribute_path: [
                           Raw(
                            PartRaw {
                             content: "setXAuthLocation",
                             span: Span {
                              start: Position {
                               line: 309,
                               column: 30,
                              },
                              end: Position {
                               line: 309,
                               column: 46,
                              },
                             },
                            },
                           ),
                          ],
                          default: None,
                         },
                        ),
                        IndentedString(
                         IndentedString {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "XAuthLocation ",
                             span: Span {
                              start: Position {
                               line: 310,
                               column: 1,
                              },
                              end: Position {
                               line: 310,
                               column: 25,
                              },
                             },
                            },
                           ),
                           Interpolation(
                            PartInterpolation {
                             expression: PropertyAccess(
                              PropertyAccess {
                               expression: Identifier(
                                Identifier {
                                 id: "pkgs",
                                 span: Span {
                                  start: Position {
                                   line: 310,
                                   column: 27,
                                  },
                                  end: Position {
                                   line: 310,
                                   column: 31,
                                  },
                                 },
                                },
                               ),
                               attribute_path: [
                                Raw(
                                 PartRaw {
                                  content: "xorg",
                                  span: Span {
                                   start: Position {
                                    line: 310,
                                    column: 32,
                                   },
                                   end: Position {
                                    line: 310,
                                    column: 36,
                                   },
                                  },
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "xauth",
                                  span: Span {
                                   start: Position {
                                    line: 310,
                                    column: 37,
                                   },
                                   end: Position {
                                    line: 310,
                                    column: 42,
                                   },
                                  },
                                 },
                                ),
                               ],
                               default: None,
                              },
                             ),
                            },
                           ),
                           Raw(
                            PartRaw {
                             content: "/bin/xauth\n",
                             span: Span {
                              start: Position {
                               line: 310,
                               column: 1,
                              },
                              end: Position {
                               line: 311,
                               column: 9,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 309,
                            column: 47,
                           },
                           end: Position {
                            line: 311,
                            column: 11,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n\nForwardX11 ",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 313,
                       column: 20,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: IfThenElse(
                      IfThenElse {
                       predicate: PropertyAccess(
                        PropertyAccess {
                         expression: Identifier(
                          Identifier {
                           id: "cfg",
                           span: Span {
                            start: Position {
                             line: 313,
                             column: 25,
                            },
                            end: Position {
                             line: 313,
                             column: 28,
                            },
                           },
                          },
                         ),
                         attribute_path: [
                          Raw(
                           PartRaw {
                            content: "forwardX11",
                            span: Span {
                             start: Position {
                              line: 313,
                              column: 29,
                             },
                             end: Position {
                              line: 313,
                              column: 39,
                             },
                            },
                           },
                          ),
                         ],
                         default: None,
                        },
                       ),
                       then: String(
                        String_ {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "yes",
                            span: Span {
                             start: Position {
                              line: 313,
                              column: 46,
                             },
                             end: Position {
                              line: 313,
                              column: 49,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 313,
                           column: 45,
                          },
                          end: Position {
                           line: 313,
                           column: 50,
                          },
                         },
                        },
                       ),
                       else_: String(
                        String_ {
                         parts: [
                          Raw(
                           PartRaw {
                            content: "no",
                            span: Span {
                             start: Position {
                              line: 313,
                              column: 57,
                             },
                             end: Position {
                              line: 313,
                              column: 59,
                             },
                            },
                           },
                          ),
                         ],
                         span: Span {
                          start: Position {
                           line: 313,
                           column: 56,
                          },
                          end: Position {
                           line: 313,
                           column: 60,
                          },
                         },
                        },
                       ),
                       span: Span {
                        start: Position {
                         line: 313,
                         column: 22,
                        },
                        end: Position {
                         line: 313,
                         column: 60,
                        },
                       },
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 315,
                       column: 9,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "optionalString",
                         span: Span {
                          start: Position {
                           line: 315,
                           column: 11,
                          },
                          end: Position {
                           line: 315,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        BinaryOperation(
                         BinaryOperation {
                          left: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "cfg",
                              span: Span {
                               start: Position {
                                line: 315,
                                column: 27,
                               },
                               end: Position {
                                line: 315,
                                column: 30,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "pubkeyAcceptedKeyTypes",
                               span: Span {
                                start: Position {
                                 line: 315,
                                 column: 31,
                                },
                                end: Position {
                                 line: 315,
                                 column: 53,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                          operator: NotEqualTo,
                          right: List(
                           List {
                            elements: [],
                            span: Span {
                             start: Position {
                              line: 315,
                              column: 57,
                             },
                             end: Position {
                              line: 315,
                              column: 59,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "PubkeyAcceptedKeyTypes ",
                             span: Span {
                              start: Position {
                               line: 315,
                               column: 62,
                              },
                              end: Position {
                               line: 315,
                               column: 135,
                              },
                             },
                            },
                           ),
                           Interpolation(
                            PartInterpolation {
                             expression: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "concatStringsSep",
                                 span: Span {
                                  start: Position {
                                   line: 315,
                                   column: 87,
                                  },
                                  end: Position {
                                   line: 315,
                                   column: 103,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: ",",
                                     span: Span {
                                      start: Position {
                                       line: 315,
                                       column: 105,
                                      },
                                      end: Position {
                                       line: 315,
                                       column: 106,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 315,
                                    column: 104,
                                   },
                                   end: Position {
                                    line: 315,
                                    column: 107,
                                   },
                                  },
                                 },
                                ),
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "cfg",
                                    span: Span {
                                     start: Position {
                                      line: 315,
                                      column: 108,
                                     },
                                     end: Position {
                                      line: 315,
                                      column: 111,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "pubkeyAcceptedKeyTypes",
                                     span: Span {
                                      start: Position {
                                       line: 315,
                                       column: 112,
                                      },
                                      end: Position {
                                       line: 315,
                                       column: 134,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 315,
                            column: 61,
                           },
                           end: Position {
                            line: 315,
                            column: 136,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 316,
                       column: 9,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "optionalString",
                         span: Span {
                          start: Position {
                           line: 316,
                           column: 11,
                          },
                          end: Position {
                           line: 316,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        BinaryOperation(
                         BinaryOperation {
                          left: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "cfg",
                              span: Span {
                               start: Position {
                                line: 316,
                                column: 27,
                               },
                               end: Position {
                                line: 316,
                                column: 30,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "hostKeyAlgorithms",
                               span: Span {
                                start: Position {
                                 line: 316,
                                 column: 31,
                                },
                                end: Position {
                                 line: 316,
                                 column: 48,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                          operator: NotEqualTo,
                          right: List(
                           List {
                            elements: [],
                            span: Span {
                             start: Position {
                              line: 316,
                              column: 52,
                             },
                             end: Position {
                              line: 316,
                              column: 54,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "HostKeyAlgorithms ",
                             span: Span {
                              start: Position {
                               line: 316,
                               column: 57,
                              },
                              end: Position {
                               line: 316,
                               column: 120,
                              },
                             },
                            },
                           ),
                           Interpolation(
                            PartInterpolation {
                             expression: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "concatStringsSep",
                                 span: Span {
                                  start: Position {
                                   line: 316,
                                   column: 77,
                                  },
                                  end: Position {
                                   line: 316,
                                   column: 93,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: ",",
                                     span: Span {
                                      start: Position {
                                       line: 316,
                                       column: 95,
                                      },
                                      end: Position {
                                       line: 316,
                                       column: 96,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 316,
                                    column: 94,
                                   },
                                   end: Position {
                                    line: 316,
                                    column: 97,
                                   },
                                  },
                                 },
                                ),
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "cfg",
                                    span: Span {
                                     start: Position {
                                      line: 316,
                                      column: 98,
                                     },
                                     end: Position {
                                      line: 316,
                                      column: 101,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "hostKeyAlgorithms",
                                     span: Span {
                                      start: Position {
                                       line: 316,
                                       column: 102,
                                      },
                                      end: Position {
                                       line: 316,
                                       column: 119,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 316,
                            column: 56,
                           },
                           end: Position {
                            line: 316,
                            column: 121,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 317,
                       column: 9,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "optionalString",
                         span: Span {
                          start: Position {
                           line: 317,
                           column: 11,
                          },
                          end: Position {
                           line: 317,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        BinaryOperation(
                         BinaryOperation {
                          left: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "cfg",
                              span: Span {
                               start: Position {
                                line: 317,
                                column: 27,
                               },
                               end: Position {
                                line: 317,
                                column: 30,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "kexAlgorithms",
                               span: Span {
                                start: Position {
                                 line: 317,
                                 column: 31,
                                },
                                end: Position {
                                 line: 317,
                                 column: 44,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                          operator: NotEqualTo,
                          right: Identifier(
                           Identifier {
                            id: "null",
                            span: Span {
                             start: Position {
                              line: 317,
                              column: 48,
                             },
                             end: Position {
                              line: 317,
                              column: 52,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "KexAlgorithms ",
                             span: Span {
                              start: Position {
                               line: 317,
                               column: 55,
                              },
                              end: Position {
                               line: 317,
                               column: 110,
                              },
                             },
                            },
                           ),
                           Interpolation(
                            PartInterpolation {
                             expression: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "concatStringsSep",
                                 span: Span {
                                  start: Position {
                                   line: 317,
                                   column: 71,
                                  },
                                  end: Position {
                                   line: 317,
                                   column: 87,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: ",",
                                     span: Span {
                                      start: Position {
                                       line: 317,
                                       column: 89,
                                      },
                                      end: Position {
                                       line: 317,
                                       column: 90,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 317,
                                    column: 88,
                                   },
                                   end: Position {
                                    line: 317,
                                    column: 91,
                                   },
                                  },
                                 },
                                ),
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "cfg",
                                    span: Span {
                                     start: Position {
                                      line: 317,
                                      column: 92,
                                     },
                                     end: Position {
                                      line: 317,
                                      column: 95,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "kexAlgorithms",
                                     span: Span {
                                      start: Position {
                                       line: 317,
                                       column: 96,
                                      },
                                      end: Position {
                                       line: 317,
                                       column: 109,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 317,
                            column: 54,
                           },
                           end: Position {
                            line: 317,
                            column: 111,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 318,
                       column: 9,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "optionalString",
                         span: Span {
                          start: Position {
                           line: 318,
                           column: 11,
                          },
                          end: Position {
                           line: 318,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        BinaryOperation(
                         BinaryOperation {
                          left: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "cfg",
                              span: Span {
                               start: Position {
                                line: 318,
                                column: 27,
                               },
                               end: Position {
                                line: 318,
                                column: 30,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "ciphers",
                               span: Span {
                                start: Position {
                                 line: 318,
                                 column: 31,
                                },
                                end: Position {
                                 line: 318,
                                 column: 38,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                          operator: NotEqualTo,
                          right: Identifier(
                           Identifier {
                            id: "null",
                            span: Span {
                             start: Position {
                              line: 318,
                              column: 42,
                             },
                             end: Position {
                              line: 318,
                              column: 46,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "Ciphers ",
                             span: Span {
                              start: Position {
                               line: 318,
                               column: 49,
                              },
                              end: Position {
                               line: 318,
                               column: 92,
                              },
                             },
                            },
                           ),
                           Interpolation(
                            PartInterpolation {
                             expression: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "concatStringsSep",
                                 span: Span {
                                  start: Position {
                                   line: 318,
                                   column: 59,
                                  },
                                  end: Position {
                                   line: 318,
                                   column: 75,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: ",",
                                     span: Span {
                                      start: Position {
                                       line: 318,
                                       column: 77,
                                      },
                                      end: Position {
                                       line: 318,
                                       column: 78,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 318,
                                    column: 76,
                                   },
                                   end: Position {
                                    line: 318,
                                    column: 79,
                                   },
                                  },
                                 },
                                ),
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "cfg",
                                    span: Span {
                                     start: Position {
                                      line: 318,
                                      column: 80,
                                     },
                                     end: Position {
                                      line: 318,
                                      column: 83,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "ciphers",
                                     span: Span {
                                      start: Position {
                                       line: 318,
                                       column: 84,
                                      },
                                      end: Position {
                                       line: 318,
                                       column: 91,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 318,
                            column: 48,
                           },
                           end: Position {
                            line: 318,
                            column: 93,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 319,
                       column: 9,
                      },
                     },
                    },
                   ),
                   Interpolation(
                    PartInterpolation {
                     expression: FunctionApplication(
                      FunctionApplication {
                       function: Identifier(
                        Identifier {
                         id: "optionalString",
                         span: Span {
                          start: Position {
                           line: 319,
                           column: 11,
                          },
                          end: Position {
                           line: 319,
                           column: 25,
                          },
                         },
                        },
                       ),
                       arguments: [
                        BinaryOperation(
                         BinaryOperation {
                          left: PropertyAccess(
                           PropertyAccess {
                            expression: Identifier(
                             Identifier {
                              id: "cfg",
                              span: Span {
                               start: Position {
                                line: 319,
                                column: 27,
                               },
                               end: Position {
                                line: 319,
                                column: 30,
                               },
                              },
                             },
                            ),
                            attribute_path: [
                             Raw(
                              PartRaw {
                               content: "macs",
                               span: Span {
                                start: Position {
                                 line: 319,
                                 column: 31,
                                },
                                end: Position {
                                 line: 319,
                                 column: 35,
                                },
                               },
                              },
                             ),
                            ],
                            default: None,
                           },
                          ),
                          operator: NotEqualTo,
                          right: Identifier(
                           Identifier {
                            id: "null",
                            span: Span {
                             start: Position {
                              line: 319,
                              column: 39,
                             },
                             end: Position {
                              line: 319,
                              column: 43,
                             },
                            },
                           },
                          ),
                         },
                        ),
                        String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "MACs ",
                             span: Span {
                              start: Position {
                               line: 319,
                               column: 46,
                              },
                              end: Position {
                               line: 319,
                               column: 83,
                              },
                             },
                            },
                           ),
                           Interpolation(
                            PartInterpolation {
                             expression: FunctionApplication(
                              FunctionApplication {
                               function: Identifier(
                                Identifier {
                                 id: "concatStringsSep",
                                 span: Span {
                                  start: Position {
                                   line: 319,
                                   column: 53,
                                  },
                                  end: Position {
                                   line: 319,
                                   column: 69,
                                  },
                                 },
                                },
                               ),
                               arguments: [
                                String(
                                 String_ {
                                  parts: [
                                   Raw(
                                    PartRaw {
                                     content: ",",
                                     span: Span {
                                      start: Position {
                                       line: 319,
                                       column: 71,
                                      },
                                      end: Position {
                                       line: 319,
                                       column: 72,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  span: Span {
                                   start: Position {
                                    line: 319,
                                    column: 70,
                                   },
                                   end: Position {
                                    line: 319,
                                    column: 73,
                                   },
                                  },
                                 },
                                ),
                                PropertyAccess(
                                 PropertyAccess {
                                  expression: Identifier(
                                   Identifier {
                                    id: "cfg",
                                    span: Span {
                                     start: Position {
                                      line: 319,
                                      column: 74,
                                     },
                                     end: Position {
                                      line: 319,
                                      column: 77,
                                     },
                                    },
                                   },
                                  ),
                                  attribute_path: [
                                   Raw(
                                    PartRaw {
                                     content: "macs",
                                     span: Span {
                                      start: Position {
                                       line: 319,
                                       column: 78,
                                      },
                                      end: Position {
                                       line: 319,
                                       column: 82,
                                      },
                                     },
                                    },
                                   ),
                                  ],
                                  default: None,
                                 },
                                ),
                               ],
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 319,
                            column: 45,
                           },
                           end: Position {
                            line: 319,
                            column: 84,
                           },
                          },
                         },
                        ),
                       ],
                      },
                     ),
                    },
                   ),
                   Raw(
                    PartRaw {
                     content: "\n",
                     span: Span {
                      start: Position {
                       line: 301,
                       column: 1,
                      },
                      end: Position {
                       line: 320,
                       column: 7,
                      },
                     },
                    },
                   ),
                  ],
                  span: Span {
                   start: Position {
                    line: 300,
                    column: 7,
                   },
                   end: Position {
                    line: 320,
                    column: 9,
                   },
                  },
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "environment",
                   span: Span {
                    start: Position {
                     line: 322,
                     column: 5,
                    },
                    end: Position {
                     line: 322,
                     column: 16,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "etc",
                   span: Span {
                    start: Position {
                     line: 322,
                     column: 17,
                    },
                    end: Position {
                     line: 322,
                     column: 20,
                    },
                   },
                  },
                 ),
                 Expression(
                  PartExpression {
                   expression: String(
                    String_ {
                     parts: [
                      Raw(
                       PartRaw {
                        content: "ssh/ssh_known_hosts",
                        span: Span {
                         start: Position {
                          line: 322,
                          column: 22,
                         },
                         end: Position {
                          line: 322,
                          column: 41,
                         },
                        },
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 322,
                       column: 21,
                      },
                      end: Position {
                       line: 322,
                       column: 42,
                      },
                     },
                    },
                   ),
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "text",
                   span: Span {
                    start: Position {
                     line: 322,
                     column: 43,
                    },
                    end: Position {
                     line: 322,
                     column: 47,
                    },
                   },
                  },
                 ),
                ],
                to: Identifier(
                 Identifier {
                  id: "knownHostsText",
                  span: Span {
                   start: Position {
                    line: 322,
                    column: 50,
                   },
                   end: Position {
                    line: 322,
                    column: 64,
                   },
                  },
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "systemd",
                   span: Span {
                    start: Position {
                     line: 325,
                     column: 5,
                    },
                    end: Position {
                     line: 325,
                     column: 12,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "user",
                   span: Span {
                    start: Position {
                     line: 325,
                     column: 13,
                    },
                    end: Position {
                     line: 325,
                     column: 17,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "services",
                   span: Span {
                    start: Position {
                     line: 325,
                     column: 18,
                    },
                    end: Position {
                     line: 325,
                     column: 26,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "ssh-agent",
                   span: Span {
                    start: Position {
                     line: 325,
                     column: 27,
                    },
                    end: Position {
                     line: 325,
                     column: 36,
                    },
                   },
                  },
                 ),
                ],
                to: FunctionApplication(
                 FunctionApplication {
                  function: Identifier(
                   Identifier {
                    id: "mkIf",
                    span: Span {
                     start: Position {
                      line: 325,
                      column: 39,
                     },
                     end: Position {
                      line: 325,
                      column: 43,
                     },
                    },
                   },
                  ),
                  arguments: [
                   PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "cfg",
                       span: Span {
                        start: Position {
                         line: 325,
                         column: 44,
                        },
                        end: Position {
                         line: 325,
                         column: 47,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "startAgent",
                        span: Span {
                         start: Position {
                          line: 325,
                          column: 48,
                         },
                         end: Position {
                          line: 325,
                          column: 58,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   Map(
                    Map {
                     recursive: false,
                     bindings: [
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "description",
                           span: Span {
                            start: Position {
                             line: 326,
                             column: 9,
                            },
                            end: Position {
                             line: 326,
                             column: 20,
                            },
                           },
                          },
                         ),
                        ],
                        to: String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "SSH Agent",
                             span: Span {
                              start: Position {
                               line: 326,
                               column: 24,
                              },
                              end: Position {
                               line: 326,
                               column: 33,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 326,
                            column: 23,
                           },
                           end: Position {
                            line: 326,
                            column: 34,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "wantedBy",
                           span: Span {
                            start: Position {
                             line: 327,
                             column: 9,
                            },
                            end: Position {
                             line: 327,
                             column: 17,
                            },
                           },
                          },
                         ),
                        ],
                        to: List(
                         List {
                          elements: [
                           String(
                            String_ {
                             parts: [
                              Raw(
                               PartRaw {
                                content: "default.target",
                                span: Span {
                                 start: Position {
                                  line: 327,
                                  column: 23,
                                 },
                                 end: Position {
                                  line: 327,
                                  column: 37,
                                 },
                                },
                               },
                              ),
                             ],
                             span: Span {
                              start: Position {
                               line: 327,
                               column: 22,
                              },
                              end: Position {
                               line: 327,
                               column: 38,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 327,
                            column: 20,
                           },
                           end: Position {
                            line: 327,
                            column: 40,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "unitConfig",
                           span: Span {
                            start: Position {
                             line: 328,
                             column: 9,
                            },
                            end: Position {
                             line: 328,
                             column: 19,
                            },
                           },
                          },
                         ),
                         Raw(
                          PartRaw {
                           content: "ConditionUser",
                           span: Span {
                            start: Position {
                             line: 328,
                             column: 20,
                            },
                            end: Position {
                             line: 328,
                             column: 33,
                            },
                           },
                          },
                         ),
                        ],
                        to: String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "!@system",
                             span: Span {
                              start: Position {
                               line: 328,
                               column: 37,
                              },
                              end: Position {
                               line: 328,
                               column: 45,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 328,
                            column: 36,
                           },
                           end: Position {
                            line: 328,
                            column: 46,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "serviceConfig",
                           span: Span {
                            start: Position {
                             line: 329,
                             column: 9,
                            },
                            end: Position {
                             line: 329,
                             column: 22,
                            },
                           },
                          },
                         ),
                        ],
                        to: Map(
                         Map {
                          recursive: false,
                          bindings: [
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "ExecStartPre",
                                span: Span {
                                 start: Position {
                                  line: 330,
                                  column: 13,
                                 },
                                 end: Position {
                                  line: 330,
                                  column: 25,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [
                                Interpolation(
                                 PartInterpolation {
                                  expression: PropertyAccess(
                                   PropertyAccess {
                                    expression: Identifier(
                                     Identifier {
                                      id: "pkgs",
                                      span: Span {
                                       start: Position {
                                        line: 330,
                                        column: 31,
                                       },
                                       end: Position {
                                        line: 330,
                                        column: 35,
                                       },
                                      },
                                     },
                                    ),
                                    attribute_path: [
                                     Raw(
                                      PartRaw {
                                       content: "coreutils",
                                       span: Span {
                                        start: Position {
                                         line: 330,
                                         column: 36,
                                        },
                                        end: Position {
                                         line: 330,
                                         column: 45,
                                        },
                                       },
                                      },
                                     ),
                                    ],
                                    default: None,
                                   },
                                  ),
                                 },
                                ),
                                Raw(
                                 PartRaw {
                                  content: "/bin/rm -f %t/ssh-agent",
                                  span: Span {
                                   start: Position {
                                    line: 330,
                                    column: 29,
                                   },
                                   end: Position {
                                    line: 330,
                                    column: 69,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 330,
                                 column: 28,
                                },
                                end: Position {
                                 line: 330,
                                 column: 70,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "ExecStart",
                                span: Span {
                                 start: Position {
                                  line: 331,
                                  column: 13,
                                 },
                                 end: Position {
                                  line: 331,
                                  column: 22,
                                 },
                                },
                               },
                              ),
                             ],
                             to: BinaryOperation(
                              BinaryOperation {
                               left: BinaryOperation(
                                BinaryOperation {
                                 left: BinaryOperation(
                                  BinaryOperation {
                                   left: String(
                                    String_ {
                                     parts: [
                                      Interpolation(
                                       PartInterpolation {
                                        expression: PropertyAccess(
                                         PropertyAccess {
                                          expression: Identifier(
                                           Identifier {
                                            id: "cfg",
                                            span: Span {
                                             start: Position {
                                              line: 332,
                                              column: 20,
                                             },
                                             end: Position {
                                              line: 332,
                                              column: 23,
                                             },
                                            },
                                           },
                                          ),
                                          attribute_path: [
                                           Raw(
                                            PartRaw {
                                             content: "package",
                                             span: Span {
                                              start: Position {
                                               line: 332,
                                               column: 24,
                                              },
                                              end: Position {
                                               line: 332,
                                               column: 31,
                                              },
                                             },
                                            },
                                           ),
                                          ],
                                          default: None,
                                         },
                                        ),
                                       },
                                      ),
                                      Raw(
                                       PartRaw {
                                        content: "/bin/ssh-agent ",
                                        span: Span {
                                         start: Position {
                                          line: 332,
                                          column: 18,
                                         },
                                         end: Position {
                                          line: 332,
                                          column: 47,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                     span: Span {
                                      start: Position {
                                       line: 332,
                                       column: 17,
                                      },
                                      end: Position {
                                       line: 332,
                                       column: 48,
                                      },
                                     },
                                    },
                                   ),
                                   operator: Addition,
                                   right: FunctionApplication(
                                    FunctionApplication {
                                     function: Identifier(
                                      Identifier {
                                       id: "optionalString",
                                       span: Span {
                                        start: Position {
                                         line: 333,
                                         column: 17,
                                        },
                                        end: Position {
                                         line: 333,
                                         column: 31,
                                        },
                                       },
                                      },
                                     ),
                                     arguments: [
                                      BinaryOperation(
                                       BinaryOperation {
                                        left: PropertyAccess(
                                         PropertyAccess {
                                          expression: Identifier(
                                           Identifier {
                                            id: "cfg",
                                            span: Span {
                                             start: Position {
                                              line: 333,
                                              column: 33,
                                             },
                                             end: Position {
                                              line: 333,
                                              column: 36,
                                             },
                                            },
                                           },
                                          ),
                                          attribute_path: [
                                           Raw(
                                            PartRaw {
                                             content: "agentTimeout",
                                             span: Span {
                                              start: Position {
                                               line: 333,
                                               column: 37,
                                              },
                                              end: Position {
                                               line: 333,
                                               column: 49,
                                              },
                                             },
                                            },
                                           ),
                                          ],
                                          default: None,
                                         },
                                        ),
                                        operator: NotEqualTo,
                                        right: Identifier(
                                         Identifier {
                                          id: "null",
                                          span: Span {
                                           start: Position {
                                            line: 333,
                                            column: 53,
                                           },
                                           end: Position {
                                            line: 333,
                                            column: 57,
                                           },
                                          },
                                         },
                                        ),
                                       },
                                      ),
                                      String(
                                       String_ {
                                        parts: [
                                         Raw(
                                          PartRaw {
                                           content: "-t ",
                                           span: Span {
                                            start: Position {
                                             line: 333,
                                             column: 61,
                                            },
                                            end: Position {
                                             line: 333,
                                             column: 83,
                                            },
                                           },
                                          },
                                         ),
                                         Interpolation(
                                          PartInterpolation {
                                           expression: PropertyAccess(
                                            PropertyAccess {
                                             expression: Identifier(
                                              Identifier {
                                               id: "cfg",
                                               span: Span {
                                                start: Position {
                                                 line: 333,
                                                 column: 66,
                                                },
                                                end: Position {
                                                 line: 333,
                                                 column: 69,
                                                },
                                               },
                                              },
                                             ),
                                             attribute_path: [
                                              Raw(
                                               PartRaw {
                                                content: "agentTimeout",
                                                span: Span {
                                                 start: Position {
                                                  line: 333,
                                                  column: 70,
                                                 },
                                                 end: Position {
                                                  line: 333,
                                                  column: 82,
                                                 },
                                                },
                                               },
                                              ),
                                             ],
                                             default: None,
                                            },
                                           ),
                                          },
                                         ),
                                         Raw(
                                          PartRaw {
                                           content: " ",
                                           span: Span {
                                            start: Position {
                                             line: 333,
                                             column: 61,
                                            },
                                            end: Position {
                                             line: 333,
                                             column: 84,
                                            },
                                           },
                                          },
                                         ),
                                        ],
                                        span: Span {
                                         start: Position {
                                          line: 333,
                                          column: 60,
                                         },
                                         end: Position {
                                          line: 333,
                                          column: 85,
                                         },
                                        },
                                       },
                                      ),
                                     ],
                                    },
                                   ),
                                  },
                                 ),
                                 operator: Addition,
                                 right: FunctionApplication(
                                  FunctionApplication {
                                   function: Identifier(
                                    Identifier {
                                     id: "optionalString",
                                     span: Span {
                                      start: Position {
                                       line: 334,
                                       column: 17,
                                      },
                                      end: Position {
                                       line: 334,
                                       column: 31,
                                      },
                                     },
                                    },
                                   ),
                                   arguments: [
                                    BinaryOperation(
                                     BinaryOperation {
                                      left: PropertyAccess(
                                       PropertyAccess {
                                        expression: Identifier(
                                         Identifier {
                                          id: "cfg",
                                          span: Span {
                                           start: Position {
                                            line: 334,
                                            column: 33,
                                           },
                                           end: Position {
                                            line: 334,
                                            column: 36,
                                           },
                                          },
                                         },
                                        ),
                                        attribute_path: [
                                         Raw(
                                          PartRaw {
                                           content: "agentPKCS11Whitelist",
                                           span: Span {
                                            start: Position {
                                             line: 334,
                                             column: 37,
                                            },
                                            end: Position {
                                             line: 334,
                                             column: 57,
                                            },
                                           },
                                          },
                                         ),
                                        ],
                                        default: None,
                                       },
                                      ),
                                      operator: NotEqualTo,
                                      right: Identifier(
                                       Identifier {
                                        id: "null",
                                        span: Span {
                                         start: Position {
                                          line: 334,
                                          column: 61,
                                         },
                                         end: Position {
                                          line: 334,
                                          column: 65,
                                         },
                                        },
                                       },
                                      ),
                                     },
                                    ),
                                    String(
                                     String_ {
                                      parts: [
                                       Raw(
                                        PartRaw {
                                         content: "-P ",
                                         span: Span {
                                          start: Position {
                                           line: 334,
                                           column: 69,
                                          },
                                          end: Position {
                                           line: 334,
                                           column: 99,
                                          },
                                         },
                                        },
                                       ),
                                       Interpolation(
                                        PartInterpolation {
                                         expression: PropertyAccess(
                                          PropertyAccess {
                                           expression: Identifier(
                                            Identifier {
                                             id: "cfg",
                                             span: Span {
                                              start: Position {
                                               line: 334,
                                               column: 74,
                                              },
                                              end: Position {
                                               line: 334,
                                               column: 77,
                                              },
                                             },
                                            },
                                           ),
                                           attribute_path: [
                                            Raw(
                                             PartRaw {
                                              content: "agentPKCS11Whitelist",
                                              span: Span {
                                               start: Position {
                                                line: 334,
                                                column: 78,
                                               },
                                               end: Position {
                                                line: 334,
                                                column: 98,
                                               },
                                              },
                                             },
                                            ),
                                           ],
                                           default: None,
                                          },
                                         ),
                                        },
                                       ),
                                       Raw(
                                        PartRaw {
                                         content: " ",
                                         span: Span {
                                          start: Position {
                                           line: 334,
                                           column: 69,
                                          },
                                          end: Position {
                                           line: 334,
                                           column: 100,
                                          },
                                         },
                                        },
                                       ),
                                      ],
                                      span: Span {
                                       start: Position {
                                        line: 334,
                                        column: 68,
                                       },
                                       end: Position {
                                        line: 334,
                                        column: 101,
                                       },
                                      },
                                     },
                                    ),
                                   ],
                                  },
                                 ),
                                },
                               ),
                               operator: Addition,
                               right: String(
                                String_ {
                                 parts: [
                                  Raw(
                                   PartRaw {
                                    content: "-a %t/ssh-agent",
                                    span: Span {
                                     start: Position {
                                      line: 335,
                                      column: 18,
                                     },
                                     end: Position {
                                      line: 335,
                                      column: 33,
                                     },
                                    },
                                   },
                                  ),
                                 ],
                                 span: Span {
                                  start: Position {
                                   line: 335,
                                   column: 17,
                                  },
                                  end: Position {
                                   line: 335,
                                   column: 34,
                                  },
                                 },
                                },
                               ),
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "StandardOutput",
                                span: Span {
                                 start: Position {
                                  line: 336,
                                  column: 13,
                                 },
                                 end: Position {
                                  line: 336,
                                  column: 27,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "null",
                                  span: Span {
                                   start: Position {
                                    line: 336,
                                    column: 31,
                                   },
                                   end: Position {
                                    line: 336,
                                    column: 35,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 336,
                                 column: 30,
                                },
                                end: Position {
                                 line: 336,
                                 column: 36,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "Type",
                                span: Span {
                                 start: Position {
                                  line: 337,
                                  column: 13,
                                 },
                                 end: Position {
                                  line: 337,
                                  column: 17,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "forking",
                                  span: Span {
                                   start: Position {
                                    line: 337,
                                    column: 21,
                                   },
                                   end: Position {
                                    line: 337,
                                    column: 28,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 337,
                                 column: 20,
                                },
                                end: Position {
                                 line: 337,
                                 column: 29,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "Restart",
                                span: Span {
                                 start: Position {
                                  line: 338,
                                  column: 13,
                                 },
                                 end: Position {
                                  line: 338,
                                  column: 20,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "on-failure",
                                  span: Span {
                                   start: Position {
                                    line: 338,
                                    column: 24,
                                   },
                                   end: Position {
                                    line: 338,
                                    column: 34,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 338,
                                 column: 23,
                                },
                                end: Position {
                                 line: 338,
                                 column: 35,
                                },
                               },
                              },
                             ),
                            },
                           ),
                           KeyValue(
                            BindingKeyValue {
                             from: [
                              Raw(
                               PartRaw {
                                content: "SuccessExitStatus",
                                span: Span {
                                 start: Position {
                                  line: 339,
                                  column: 13,
                                 },
                                 end: Position {
                                  line: 339,
                                  column: 30,
                                 },
                                },
                               },
                              ),
                             ],
                             to: String(
                              String_ {
                               parts: [
                                Raw(
                                 PartRaw {
                                  content: "0 2",
                                  span: Span {
                                   start: Position {
                                    line: 339,
                                    column: 34,
                                   },
                                   end: Position {
                                    line: 339,
                                    column: 37,
                                   },
                                  },
                                 },
                                ),
                               ],
                               span: Span {
                                start: Position {
                                 line: 339,
                                 column: 33,
                                },
                                end: Position {
                                 line: 339,
                                 column: 38,
                                },
                               },
                              },
                             ),
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 330,
                            column: 11,
                           },
                           end: Position {
                            line: 340,
                            column: 12,
                           },
                          },
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "environment",
                           span: Span {
                            start: Position {
                             line: 344,
                             column: 9,
                            },
                            end: Position {
                             line: 344,
                             column: 20,
                            },
                           },
                          },
                         ),
                         Raw(
                          PartRaw {
                           content: "SSH_ASKPASS",
                           span: Span {
                            start: Position {
                             line: 344,
                             column: 21,
                            },
                            end: Position {
                             line: 344,
                             column: 32,
                            },
                           },
                          },
                         ),
                        ],
                        to: FunctionApplication(
                         FunctionApplication {
                          function: Identifier(
                           Identifier {
                            id: "optionalString",
                            span: Span {
                             start: Position {
                              line: 344,
                              column: 35,
                             },
                             end: Position {
                              line: 344,
                              column: 49,
                             },
                            },
                           },
                          ),
                          arguments: [
                           PropertyAccess(
                            PropertyAccess {
                             expression: Identifier(
                              Identifier {
                               id: "cfg",
                               span: Span {
                                start: Position {
                                 line: 344,
                                 column: 50,
                                },
                                end: Position {
                                 line: 344,
                                 column: 53,
                                },
                               },
                              },
                             ),
                             attribute_path: [
                              Raw(
                               PartRaw {
                                content: "enableAskPassword",
                                span: Span {
                                 start: Position {
                                  line: 344,
                                  column: 54,
                                 },
                                 end: Position {
                                  line: 344,
                                  column: 71,
                                 },
                                },
                               },
                              ),
                             ],
                             default: None,
                            },
                           ),
                           Identifier(
                            Identifier {
                             id: "askPasswordWrapper",
                             span: Span {
                              start: Position {
                               line: 344,
                               column: 72,
                              },
                              end: Position {
                               line: 344,
                               column: 90,
                              },
                             },
                            },
                           ),
                          ],
                         },
                        ),
                       },
                      ),
                      KeyValue(
                       BindingKeyValue {
                        from: [
                         Raw(
                          PartRaw {
                           content: "environment",
                           span: Span {
                            start: Position {
                             line: 345,
                             column: 9,
                            },
                            end: Position {
                             line: 345,
                             column: 20,
                            },
                           },
                          },
                         ),
                         Raw(
                          PartRaw {
                           content: "DISPLAY",
                           span: Span {
                            start: Position {
                             line: 345,
                             column: 21,
                            },
                            end: Position {
                             line: 345,
                             column: 28,
                            },
                           },
                          },
                         ),
                        ],
                        to: String(
                         String_ {
                          parts: [
                           Raw(
                            PartRaw {
                             content: "fake",
                             span: Span {
                              start: Position {
                               line: 345,
                               column: 32,
                              },
                              end: Position {
                               line: 345,
                               column: 36,
                              },
                             },
                            },
                           ),
                          ],
                          span: Span {
                           start: Position {
                            line: 345,
                            column: 31,
                           },
                           end: Position {
                            line: 345,
                            column: 37,
                           },
                          },
                         },
                        ),
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 326,
                       column: 7,
                      },
                      end: Position {
                       line: 346,
                       column: 8,
                      },
                     },
                    },
                   ),
                  ],
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "environment",
                   span: Span {
                    start: Position {
                     line: 348,
                     column: 5,
                    },
                    end: Position {
                     line: 348,
                     column: 16,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "extraInit",
                   span: Span {
                    start: Position {
                     line: 348,
                     column: 17,
                    },
                    end: Position {
                     line: 348,
                     column: 26,
                    },
                   },
                  },
                 ),
                ],
                to: FunctionApplication(
                 FunctionApplication {
                  function: Identifier(
                   Identifier {
                    id: "optionalString",
                    span: Span {
                     start: Position {
                      line: 348,
                      column: 29,
                     },
                     end: Position {
                      line: 348,
                      column: 43,
                     },
                    },
                   },
                  ),
                  arguments: [
                   PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "cfg",
                       span: Span {
                        start: Position {
                         line: 348,
                         column: 44,
                        },
                        end: Position {
                         line: 348,
                         column: 47,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "startAgent",
                        span: Span {
                         start: Position {
                          line: 348,
                          column: 48,
                         },
                         end: Position {
                          line: 348,
                          column: 58,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   IndentedString(
                    IndentedString {
                     parts: [
                      Raw(
                       PartRaw {
                        content: "if [ -z \"$SSH_AUTH_SOCK\" -a -n \"$XDG_RUNTIME_DIR\" ]; then\n  export SSH_AUTH_SOCK=\"$XDG_RUNTIME_DIR/ssh-agent\"\nfi\n",
                        span: Span {
                         start: Position {
                          line: 350,
                          column: 1,
                         },
                         end: Position {
                          line: 353,
                          column: 7,
                         },
                        },
                       },
                      ),
                     ],
                     span: Span {
                      start: Position {
                       line: 349,
                       column: 7,
                      },
                      end: Position {
                       line: 353,
                       column: 9,
                      },
                     },
                    },
                   ),
                  ],
                 },
                ),
               },
              ),
              KeyValue(
               BindingKeyValue {
                from: [
                 Raw(
                  PartRaw {
                   content: "environment",
                   span: Span {
                    start: Position {
                     line: 355,
                     column: 5,
                    },
                    end: Position {
                     line: 355,
                     column: 16,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "variables",
                   span: Span {
                    start: Position {
                     line: 355,
                     column: 17,
                    },
                    end: Position {
                     line: 355,
                     column: 26,
                    },
                   },
                  },
                 ),
                 Raw(
                  PartRaw {
                   content: "SSH_ASKPASS",
                   span: Span {
                    start: Position {
                     line: 355,
                     column: 27,
                    },
                    end: Position {
                     line: 355,
                     column: 38,
                    },
                   },
                  },
                 ),
                ],
                to: FunctionApplication(
                 FunctionApplication {
                  function: Identifier(
                   Identifier {
                    id: "optionalString",
                    span: Span {
                     start: Position {
                      line: 355,
                      column: 41,
                     },
                     end: Position {
                      line: 355,
                      column: 55,
                     },
                    },
                   },
                  ),
                  arguments: [
                   PropertyAccess(
                    PropertyAccess {
                     expression: Identifier(
                      Identifier {
                       id: "cfg",
                       span: Span {
                        start: Position {
                         line: 355,
                         column: 56,
                        },
                        end: Position {
                         line: 355,
                         column: 59,
                        },
                       },
                      },
                     ),
                     attribute_path: [
                      Raw(
                       PartRaw {
                        content: "enableAskPassword",
                        span: Span {
                         start: Position {
                          line: 355,
                          column: 60,
                         },
                         end: Position {
                          line: 355,
                          column: 77,
                         },
                        },
                       },
                      ),
                     ],
                     default: None,
                    },
                   ),
                   Identifier(
                    Identifier {
                     id: "askPassword",
                     span: Span {
                      start: Position {
                       line: 355,
                       column: 78,
                      },
                      end: Position {
                       line: 355,
                       column: 89,
                      },
                     },
                    },
                   ),
                  ],
                 },
                ),
               },
              ),
             ],
             span: Span {
              start: Position {
               line: 282,
               column: 12,
              },
              end: Position {
               line: 357,
               column: 4,
              },
             },
            },
           ),
          },
         ),
        ],
        span: Span {
         start: Position {
          line: 33,
          column: 1,
         },
         end: Position {
          line: 358,
          column: 2,
         },
        },
       },
      ),
      span: Span {
       start: Position {
        line: 7,
        column: 1,
       },
       end: Position {
        line: 358,
        column: 2,
       },
      },
     },
    ),
    span: Span {
     start: Position {
      line: 5,
      column: 1,
     },
     end: Position {
      line: 358,
      column: 2,
     },
    },
   },
  ),
  span: Span {
   start: Position {
    line: 3,
    column: 1,
   },
   end: Position {
    line: 358,
    column: 2,
   },
  },
 },
)