Function(
 Function {
  head: Destructured(
   FunctionHeadDestructured {
    ellipsis: true,
    identifier: None,
    arguments: [
     FunctionHeadDestructuredArgument {
      identifier: "pkgs",
      default: None,
     },
    ],
   },
  ),
  body: Map(
   Map {
    recursive: false,
    bindings: [
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "imports",
          span: Span {
           start: Position {
            line: 4,
            column: 3,
           },
           end: Position {
            line: 4,
            column: 10,
           },
          },
         },
        ),
       ],
       to: List(
        List {
         elements: [
          Path(
           Path {
            parts: [
             Raw(
              PartRaw {
               content: "./installation-cd-minimal.nix",
               span: Span {
                start: Position {
                 line: 4,
                 column: 15,
                },
                end: Position {
                 line: 4,
                 column: 44,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 4,
              column: 15,
             },
             end: Position {
              line: 4,
              column: 44,
             },
            },
           },
          ),
         ],
         span: Span {
          start: Position {
           line: 4,
           column: 13,
          },
          end: Position {
           line: 4,
           column: 46,
          },
         },
        },
       ),
      },
     ),
     KeyValue(
      BindingKeyValue {
       from: [
        Raw(
         PartRaw {
          content: "boot",
          span: Span {
           start: Position {
            line: 6,
            column: 3,
           },
           end: Position {
            line: 6,
            column: 7,
           },
          },
         },
        ),
        Raw(
         PartRaw {
          content: "kernelPackages",
          span: Span {
           start: Position {
            line: 6,
            column: 8,
           },
           end: Position {
            line: 6,
            column: 22,
           },
          },
         },
        ),
       ],
       to: PropertyAccess(
        PropertyAccess {
         expression: Identifier(
          Identifier {
           id: "pkgs",
           span: Span {
            start: Position {
             line: 6,
             column: 25,
            },
            end: Position {
             line: 6,
             column: 29,
            },
           },
          },
         ),
         attribute_path: [
          Raw(
           PartRaw {
            content: "linuxPackages_latest",
            span: Span {
             start: Position {
              line: 6,
              column: 30,
             },
             end: Position {
              line: 6,
              column: 50,
             },
            },
           },
          ),
         ],
         default: None,
        },
       ),
      },
     ),
    ],
    span: Span {
     start: Position {
      line: 3,
      column: 1,
     },
     end: Position {
      line: 7,
      column: 2,
     },
    },
   },
  ),
  span: Span {
   start: Position {
    line: 1,
    column: 1,
   },
   end: Position {
    line: 7,
    column: 2,
   },
  },
 },
)