---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: Map {
  bindings: [
   KeyValue(
    AttributePath {
     attributes: [
      Raw {
       content: "options",
       position: (2, 3),
      },
      Raw {
       content: "value",
       position: (2, 11),
      },
     ],
    },
    FunctionApplication {
     function: PropertyAccess {
      expression: Variable {
       identifier: "lib",
       position: (2, 19),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "mkOption",
         position: (2, 23),
        },
       ],
      },
      default: None,
     },
     arguments: [
      Map {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "type",
            position: (3, 5),
           },
          ],
         },
         FunctionApplication {
          function: PropertyAccess {
           expression: Variable {
            identifier: "lib",
            position: (3, 12),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "types",
              position: (3, 16),
             },
             Raw {
              content: "lazyAttrsOf",
              position: (3, 22),
             },
            ],
           },
           default: None,
          },
          arguments: [
           BinaryOperation {
            operator: Update,
            operands: [
             PropertyAccess {
              expression: Variable {
               identifier: "lib",
               position: (3, 35),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "types",
                 position: (3, 39),
                },
                Raw {
                 content: "str",
                 position: (3, 45),
                },
               ],
              },
              default: None,
             },
             Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "emptyValue",
                   position: (3, 54),
                  },
                  Raw {
                   content: "value",
                   position: (3, 65),
                  },
                 ],
                },
                String {
                 parts: [
                  Raw {
                   content: "empty",
                   position: (3, 74),
                  },
                 ],
                },
               ),
              ],
              recursive: false,
              position: (3, 52),
             },
            ],
            position: (3, 49),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "default",
            position: (4, 5),
           },
          ],
         },
         Map {
          bindings: [],
          recursive: false,
          position: (4, 15),
         },
        ),
       ],
       recursive: false,
       position: (2, 32),
      },
     ],
    },
   ),
  ],
  recursive: false,
  position: (1, 15),
 },
 position: (1, 1),
}