---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: Map {
  bindings: [
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "options",
       position: (4, 3),
      },
      Raw {
       content: "set",
       position: (4, 11),
      },
     ],
    },
    to: FunctionApplication {
     function: PropertyAccess {
      expression: Variable {
       identifier: "lib",
       position: (4, 17),
      },
      attribute_path: AttributePath {
       parts: [
        Raw {
         content: "mkOption",
         position: (4, 21),
        },
       ],
      },
      default: None,
     },
     arguments: [
      Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "default",
            position: (5, 5),
           },
          ],
         },
         to: Map {
          bindings: [],
          recursive: false,
          position: (5, 15),
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "example",
            position: (6, 5),
           },
          ],
         },
         to: Map {
          bindings: [
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "a",
               position: (6, 17),
              },
             ],
            },
            to: Int {
             value: 1,
             position: (6, 21),
            },
           },
          ],
          recursive: false,
          position: (6, 15),
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "type",
            position: (7, 5),
           },
          ],
         },
         to: FunctionApplication {
          function: PropertyAccess {
           expression: Variable {
            identifier: "lib",
            position: (7, 12),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "types",
              position: (7, 16),
             },
             Raw {
              content: "attrsOf",
              position: (7, 22),
             },
            ],
           },
           default: None,
          },
          arguments: [
           PropertyAccess {
            expression: Variable {
             identifier: "lib",
             position: (7, 30),
            },
            attribute_path: AttributePath {
             parts: [
              Raw {
               content: "types",
               position: (7, 34),
              },
              Raw {
               content: "int",
               position: (7, 40),
              },
             ],
            },
            default: None,
           },
          ],
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "description",
            position: (8, 5),
           },
          ],
         },
         to: String {
          parts: [
           Raw {
            content: "Some descriptive text\n",
            position: (9, 1),
           },
          ],
          position: (8, 19),
         },
        },
       ],
       recursive: false,
       position: (4, 30),
      },
     ],
    },
   },
  ],
  recursive: false,
  position: (3, 1),
 },
 position: (1, 1),
}