---
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),
      },
     ],
    },
    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: "default",
               position: (6, 7),
              },
             ],
            },
            String {
             parts: [
              Raw {
               content: "12",
               position: (6, 18),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "type",
               position: (7, 7),
              },
             ],
            },
            FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "lib",
               position: (7, 14),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "types",
                 position: (7, 18),
                },
                Raw {
                 content: "coercedTo",
                 position: (7, 24),
                },
               ],
              },
              default: None,
             },
             arguments: [
              PropertyAccess {
               expression: Variable {
                identifier: "lib",
                position: (7, 34),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "types",
                  position: (7, 38),
                 },
                 Raw {
                  content: "str",
                  position: (7, 44),
                 },
                ],
               },
               default: None,
              },
              PropertyAccess {
               expression: Variable {
                identifier: "lib",
                position: (7, 48),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "toInt",
                  position: (7, 52),
                 },
                ],
               },
               default: None,
              },
              PropertyAccess {
               expression: Variable {
                identifier: "lib",
                position: (7, 58),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "types",
                  position: (7, 62),
                 },
                 Raw {
                  content: "ints",
                  position: (7, 68),
                 },
                 Raw {
                  content: "s8",
                  position: (7, 73),
                 },
                ],
               },
               default: None,
              },
             ],
            },
           ),
          ],
          recursive: false,
          position: (5, 26),
         },
        ],
       },
      ),
     ],
     recursive: false,
     position: (4, 13),
    },
   ),
  ],
  recursive: false,
  position: (3, 1),
 },
 position: (1, 1),
}