With(
 With {
  expression: FunctionApplication(
   FunctionApplication {
    function: Identifier(
     Identifier {
      id: "import",
      span: Span {
       start: Position {
        line: 1,
        column: 7,
       },
       end: Position {
        line: 1,
        column: 13,
       },
      },
     },
    ),
    arguments: [
     Path(
      Path {
       parts: [
        Raw(
         PartRaw {
          content: "../../../../default.nix",
          span: Span {
           start: Position {
            line: 1,
            column: 14,
           },
           end: Position {
            line: 1,
            column: 37,
           },
          },
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 1,
         column: 14,
        },
        end: Position {
         line: 1,
         column: 37,
        },
       },
      },
     ),
     Map(
      Map {
       recursive: false,
       bindings: [],
       span: Span {
        start: Position {
         line: 1,
         column: 38,
        },
        end: Position {
         line: 1,
         column: 40,
        },
       },
      },
     ),
    ],
   },
  ),
  target: FunctionApplication(
   FunctionApplication {
    function: PropertyAccess(
     PropertyAccess {
      expression: Identifier(
       Identifier {
        id: "stdenv",
        span: Span {
         start: Position {
          line: 2,
          column: 1,
         },
         end: Position {
          line: 2,
          column: 7,
         },
        },
       },
      ),
      attribute_path: [
       Raw(
        PartRaw {
         content: "mkDerivation",
         span: Span {
          start: Position {
           line: 2,
           column: 8,
          },
          end: Position {
           line: 2,
           column: 20,
          },
         },
        },
       ),
      ],
      default: None,
     },
    ),
    arguments: [
     Map(
      Map {
       recursive: false,
       bindings: [
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "name",
             span: Span {
              start: Position {
               line: 3,
               column: 3,
              },
              end: Position {
               line: 3,
               column: 7,
              },
             },
            },
           ),
          ],
          to: String(
           String_ {
            parts: [
             Raw(
              PartRaw {
               content: "nixcfg-azure-devenv",
               span: Span {
                start: Position {
                 line: 3,
                 column: 11,
                },
                end: Position {
                 line: 3,
                 column: 30,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 3,
              column: 10,
             },
             end: Position {
              line: 3,
              column: 31,
             },
            },
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "nativeBuildInputs",
             span: Span {
              start: Position {
               line: 5,
               column: 3,
              },
              end: Position {
               line: 5,
               column: 20,
              },
             },
            },
           ),
          ],
          to: List(
           List {
            elements: [
             Identifier(
              Identifier {
               id: "azure-cli",
               span: Span {
                start: Position {
                 line: 6,
                 column: 5,
                },
                end: Position {
                 line: 6,
                 column: 14,
                },
               },
              },
             ),
             Identifier(
              Identifier {
               id: "bash",
               span: Span {
                start: Position {
                 line: 7,
                 column: 5,
                },
                end: Position {
                 line: 7,
                 column: 9,
                },
               },
              },
             ),
             Identifier(
              Identifier {
               id: "cacert",
               span: Span {
                start: Position {
                 line: 8,
                 column: 5,
                },
                end: Position {
                 line: 8,
                 column: 11,
                },
               },
              },
             ),
             Identifier(
              Identifier {
               id: "azure-storage-azcopy",
               span: Span {
                start: Position {
                 line: 9,
                 column: 5,
                },
                end: Position {
                 line: 9,
                 column: 25,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 5,
              column: 23,
             },
             end: Position {
              line: 10,
              column: 4,
             },
            },
           },
          ),
         },
        ),
        KeyValue(
         BindingKeyValue {
          from: [
           Raw(
            PartRaw {
             content: "AZURE_CONFIG_DIR",
             span: Span {
              start: Position {
               line: 12,
               column: 3,
              },
              end: Position {
               line: 12,
               column: 19,
              },
             },
            },
           ),
          ],
          to: String(
           String_ {
            parts: [
             Raw(
              PartRaw {
               content: "/tmp/azure-cli/.azure",
               span: Span {
                start: Position {
                 line: 12,
                 column: 21,
                },
                end: Position {
                 line: 12,
                 column: 42,
                },
               },
              },
             ),
            ],
            span: Span {
             start: Position {
              line: 12,
              column: 20,
             },
             end: Position {
              line: 12,
              column: 43,
             },
            },
           },
          ),
         },
        ),
       ],
       span: Span {
        start: Position {
         line: 2,
         column: 21,
        },
        end: Position {
         line: 13,
         column: 2,
        },
       },
      },
     ),
    ],
   },
  ),
  span: Span {
   start: Position {
    line: 1,
    column: 1,
   },
   end: Position {
    line: 13,
    column: 2,
   },
  },
 },
)