---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: Map {
  bindings: [
   KeyValue(
    AttributePath {
     attributes: [
      Raw {
       content: "options",
       position: (4, 3),
      },
      Raw {
       content: "set",
       position: (4, 11),
      },
     ],
    },
    Map {
     bindings: [
      KeyValue(
       AttributePath {
        attributes: [
         Raw {
          content: "value",
          position: (5, 5),
         },
        ],
       },
       FunctionApplication {
        function: PropertyAccess {
         expression: Variable {
          identifier: "lib",
          position: (5, 13),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "mkOption",
            position: (5, 17),
           },
          ],
         },
         default: None,
        },
        arguments: [
         Map {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "type",
               position: (6, 7),
              },
             ],
            },
            PropertyAccess {
             expression: Variable {
              identifier: "lib",
              position: (6, 14),
             },
             attribute_path: AttributePath {
              attributes: [
               Raw {
                content: "types",
                position: (6, 18),
               },
               Raw {
                content: "ints",
                position: (6, 24),
               },
               Raw {
                content: "positive",
                position: (6, 29),
               },
              ],
             },
             default: None,
            },
           ),
          ],
          recursive: false,
          position: (5, 26),
         },
        ],
       },
      ),
     ],
     recursive: false,
     position: (4, 17),
    },
   ),
  ],
  recursive: false,
  position: (3, 1),
 },
 position: (1, 1),
}