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