---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (3, 6),
  },
  target: Map {
   bindings: [
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "options",
        position: (7, 3),
       },
      ],
     },
     Map {
      bindings: [
       KeyValue(
        AttributePath {
         attributes: [
          Raw {
           content: "assertions",
           position: (9, 5),
          },
         ],
        },
        FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (9, 18),
         },
         arguments: [
          Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "type",
                position: (10, 7),
               },
              ],
             },
             FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (10, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "listOf",
                  position: (10, 20),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "types",
                 position: (10, 27),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "unspecified",
                   position: (10, 33),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "internal",
                position: (11, 7),
               },
              ],
             },
             Variable {
              identifier: "true",
              position: (11, 18),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "default",
                position: (12, 7),
               },
              ],
             },
             List {
              elements: [],
              position: (12, 17),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "example",
                position: (13, 7),
               },
              ],
             },
             List {
              elements: [
               Map {
                bindings: [
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "assertion",
                     position: (13, 21),
                    },
                   ],
                  },
                  Variable {
                   identifier: "false",
                   position: (13, 33),
                  },
                 ),
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Raw {
                     content: "message",
                     position: (13, 40),
                    },
                   ],
                  },
                  String {
                   parts: [
                    Raw {
                     content: "you can't enable this for that reason",
                     position: (13, 51),
                    },
                   ],
                  },
                 ),
                ],
                recursive: false,
                position: (13, 19),
               },
              ],
              position: (13, 17),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "description",
                position: (14, 7),
               },
              ],
             },
             String {
              parts: [
               Raw {
                content: "This option allows modules to express conditions that must\nhold for the evaluation of the system configuration to\nsucceed, along with associated error messages for the user.\n",
                position: (15, 1),
               },
              ],
             },
            ),
           ],
           recursive: false,
           position: (9, 27),
          },
         ],
        },
       ),
       KeyValue(
        AttributePath {
         attributes: [
          Raw {
           content: "warnings",
           position: (21, 5),
          },
         ],
        },
        FunctionApplication {
         function: Variable {
          identifier: "mkOption",
          position: (21, 16),
         },
         arguments: [
          Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "internal",
                position: (22, 7),
               },
              ],
             },
             Variable {
              identifier: "true",
              position: (22, 18),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "default",
                position: (23, 7),
               },
              ],
             },
             List {
              elements: [],
              position: (23, 17),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "type",
                position: (24, 7),
               },
              ],
             },
             FunctionApplication {
              function: PropertyAccess {
               expression: Variable {
                identifier: "types",
                position: (24, 14),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "listOf",
                  position: (24, 20),
                 },
                ],
               },
               default: None,
              },
              arguments: [
               PropertyAccess {
                expression: Variable {
                 identifier: "types",
                 position: (24, 27),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "str",
                   position: (24, 33),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "example",
                position: (25, 7),
               },
              ],
             },
             List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "The `foo' service is deprecated and will go away soon!",
                  position: (25, 20),
                 },
                ],
               },
              ],
              position: (25, 17),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "description",
                position: (26, 7),
               },
              ],
             },
             String {
              parts: [
               Raw {
                content: "This option allows modules to show warnings to users during\nthe evaluation of the system configuration.\n",
                position: (27, 1),
               },
              ],
             },
            ),
           ],
           recursive: false,
           position: (21, 25),
          },
         ],
        },
       ),
      ],
      recursive: false,
      position: (7, 13),
     },
    ),
   ],
   recursive: false,
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}