---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "config",
    default: None,
   },
   DestructuredArgument {
    identifier: "pkgs",
    default: None,
   },
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (3, 6),
  },
  target: LetIn {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "cfg",
        position: (6, 3),
       },
      ],
     },
     to: PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (6, 9),
      },
      attribute_path: AttributePath {
       parts: [
        Raw {
         content: "i18n",
         position: (6, 16),
        },
        Raw {
         content: "inputMethod",
         position: (6, 21),
        },
        Raw {
         content: "fcitx",
         position: (6, 33),
        },
       ],
      },
      default: None,
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "fcitxPackage",
        position: (7, 3),
       },
      ],
     },
     to: FunctionApplication {
      function: PropertyAccess {
       expression: Variable {
        identifier: "pkgs",
        position: (7, 18),
       },
       attribute_path: AttributePath {
        parts: [
         Raw {
          content: "fcitx",
          position: (7, 23),
         },
         Raw {
          content: "override",
          position: (7, 29),
         },
        ],
       },
       default: None,
      },
      arguments: [
       Map {
        bindings: [
         Binding {
          from: AttributePath {
           parts: [
            Raw {
             content: "plugins",
             position: (7, 40),
            },
           ],
          },
          to: PropertyAccess {
           expression: Variable {
            identifier: "cfg",
            position: (7, 50),
           },
           attribute_path: AttributePath {
            parts: [
             Raw {
              content: "engines",
              position: (7, 54),
             },
            ],
           },
           default: None,
          },
         },
        ],
        recursive: false,
        position: (7, 38),
       },
      ],
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "fcitxEngine",
        position: (8, 3),
       },
      ],
     },
     to: BinaryOperation {
      operator: Update,
      operands: [
       PropertyAccess {
        expression: Variable {
         identifier: "types",
         position: (8, 17),
        },
        attribute_path: AttributePath {
         parts: [
          Raw {
           content: "package",
           position: (8, 23),
          },
         ],
        },
        default: None,
       },
       Map {
        bindings: [
         Binding {
          from: AttributePath {
           parts: [
            Raw {
             content: "name",
             position: (9, 5),
            },
           ],
          },
          to: String {
           parts: [
            Raw {
             content: "fcitx-engine",
             position: (9, 14),
            },
           ],
           position: (9, 13),
          },
         },
         Binding {
          from: AttributePath {
           parts: [
            Raw {
             content: "check",
             position: (10, 5),
            },
           ],
          },
          to: Function {
           argument: Simple {
            identifier: "x",
           },
           definition: BinaryOperation {
            operator: LogicalAnd,
            operands: [
             Parentheses {
              expression: FunctionApplication {
               function: PropertyAccess {
                expression: Variable {
                 identifier: "lib",
                 position: (10, 17),
                },
                attribute_path: AttributePath {
                 parts: [
                  Raw {
                   content: "types",
                   position: (10, 21),
                  },
                  Raw {
                   content: "package",
                   position: (10, 27),
                  },
                  Raw {
                   content: "check",
                   position: (10, 35),
                  },
                 ],
                },
                default: None,
               },
               arguments: [
                Variable {
                 identifier: "x",
                 position: (10, 41),
                },
               ],
              },
              position: (10, 16),
             },
             Parentheses {
              expression: FunctionApplication {
               function: Variable {
                identifier: "attrByPath",
                position: (10, 48),
               },
               arguments: [
                List {
                 elements: [
                  String {
                   parts: [
                    Raw {
                     content: "meta",
                     position: (10, 61),
                    },
                   ],
                   position: (10, 60),
                  },
                  String {
                   parts: [
                    Raw {
                     content: "isFcitxEngine",
                     position: (10, 68),
                    },
                   ],
                   position: (10, 67),
                  },
                 ],
                 position: (10, 59),
                },
                Variable {
                 identifier: "false",
                 position: (10, 84),
                },
                Variable {
                 identifier: "x",
                 position: (10, 90),
                },
               ],
              },
              position: (10, 47),
             },
            ],
            position: (10, 44),
           },
           position: (10, 13),
          },
         },
        ],
        recursive: false,
        position: (8, 34),
       },
      ],
      position: (8, 31),
     },
    },
   ],
   target: Map {
    bindings: [
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "options",
         position: (14, 3),
        },
       ],
      },
      to: Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "i18n",
            position: (16, 5),
           },
           Raw {
            content: "inputMethod",
            position: (16, 10),
           },
           Raw {
            content: "fcitx",
            position: (16, 22),
           },
          ],
         },
         to: Map {
          bindings: [
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "engines",
               position: (17, 7),
              },
             ],
            },
            to: FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (17, 17),
             },
             arguments: [
              Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "type",
                    position: (18, 9),
                   },
                  ],
                 },
                 to: With {
                  expression: Variable {
                   identifier: "types",
                   position: (18, 24),
                  },
                  target: FunctionApplication {
                   function: Variable {
                    identifier: "listOf",
                    position: (18, 31),
                   },
                   arguments: [
                    Variable {
                     identifier: "fcitxEngine",
                     position: (18, 38),
                    },
                   ],
                  },
                  position: (18, 19),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "default",
                    position: (19, 9),
                   },
                  ],
                 },
                 to: List {
                  elements: [],
                  position: (19, 19),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "example",
                    position: (20, 9),
                   },
                  ],
                 },
                 to: FunctionApplication {
                  function: Variable {
                   identifier: "literalExpression",
                   position: (20, 19),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "with pkgs.fcitx-engines; [ mozc hangul ]",
                      position: (20, 38),
                     },
                    ],
                    position: (20, 37),
                   },
                  ],
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "description",
                    position: (21, 9),
                   },
                  ],
                 },
                 to: LetIn {
                  bindings: [
                   Binding {
                    from: AttributePath {
                     parts: [
                      Raw {
                       content: "enginesDrv",
                       position: (23, 13),
                      },
                     ],
                    },
                    to: FunctionApplication {
                     function: Variable {
                      identifier: "filterAttrs",
                      position: (23, 26),
                     },
                     arguments: [
                      Parentheses {
                       expression: FunctionApplication {
                        function: Variable {
                         identifier: "const",
                         position: (23, 39),
                        },
                        arguments: [
                         Variable {
                          identifier: "isDerivation",
                          position: (23, 45),
                         },
                        ],
                       },
                       position: (23, 38),
                      },
                      PropertyAccess {
                       expression: Variable {
                        identifier: "pkgs",
                        position: (23, 59),
                       },
                       attribute_path: AttributePath {
                        parts: [
                         Raw {
                          content: "fcitx-engines",
                          position: (23, 64),
                         },
                        ],
                       },
                       default: None,
                      },
                     ],
                    },
                   },
                   Binding {
                    from: AttributePath {
                     parts: [
                      Raw {
                       content: "engines",
                       position: (24, 13),
                      },
                     ],
                    },
                    to: FunctionApplication {
                     function: Variable {
                      identifier: "concatStringsSep",
                      position: (24, 23),
                     },
                     arguments: [
                      String {
                       parts: [
                        Raw {
                         content: ", ",
                         position: (24, 41),
                        },
                       ],
                       position: (24, 40),
                      },
                      Parentheses {
                       expression: FunctionApplication {
                        function: Variable {
                         identifier: "map",
                         position: (25, 16),
                        },
                        arguments: [
                         Parentheses {
                          expression: Function {
                           argument: Simple {
                            identifier: "name",
                           },
                           definition: String {
                            parts: [
                             Raw {
                              content: "<literal>",
                              position: (25, 28),
                             },
                             Expression {
                              expression: Variable {
                               identifier: "name",
                               position: (25, 39),
                              },
                             },
                             Raw {
                              content: "</literal>",
                              position: (25, 44),
                             },
                            ],
                            position: (25, 27),
                           },
                           position: (25, 21),
                          },
                          position: (25, 20),
                         },
                         Parentheses {
                          expression: FunctionApplication {
                           function: Variable {
                            identifier: "attrNames",
                            position: (25, 58),
                           },
                           arguments: [
                            Variable {
                             identifier: "enginesDrv",
                             position: (25, 68),
                            },
                           ],
                          },
                          position: (25, 57),
                         },
                        ],
                       },
                       position: (25, 15),
                      },
                     ],
                    },
                   },
                  ],
                  target: String {
                   parts: [
                    Raw {
                     content: "Enabled Fcitx engines. Available engines are: ",
                     position: (27, 14),
                    },
                    Expression {
                     expression: Variable {
                      identifier: "engines",
                      position: (27, 62),
                     },
                    },
                    Raw {
                     content: ".",
                     position: (27, 70),
                    },
                   ],
                   position: (27, 13),
                  },
                  position: (22, 11),
                 },
                },
               ],
               recursive: false,
               position: (17, 26),
              },
             ],
            },
           },
          ],
          recursive: false,
          position: (16, 30),
         },
        },
       ],
       recursive: false,
       position: (14, 13),
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "config",
         position: (33, 3),
        },
       ],
      },
      to: FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (33, 12),
       },
       arguments: [
        Parentheses {
         expression: BinaryOperation {
          operator: EqualTo,
          operands: [
           PropertyAccess {
            expression: Variable {
             identifier: "config",
             position: (33, 18),
            },
            attribute_path: AttributePath {
             parts: [
              Raw {
               content: "i18n",
               position: (33, 25),
              },
              Raw {
               content: "inputMethod",
               position: (33, 30),
              },
              Raw {
               content: "enabled",
               position: (33, 42),
              },
             ],
            },
            default: None,
           },
           String {
            parts: [
             Raw {
              content: "fcitx",
              position: (33, 54),
             },
            ],
            position: (33, 53),
           },
          ],
          position: (33, 50),
         },
         position: (33, 17),
        },
        Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "i18n",
              position: (34, 5),
             },
             Raw {
              content: "inputMethod",
              position: (34, 10),
             },
             Raw {
              content: "package",
              position: (34, 22),
             },
            ],
           },
           to: Variable {
            identifier: "fcitxPackage",
            position: (34, 32),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (36, 5),
             },
             Raw {
              content: "variables",
              position: (36, 17),
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "GTK_IM_MODULE",
                 position: (37, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "fcitx",
                 position: (37, 24),
                },
               ],
               position: (37, 23),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "QT_IM_MODULE",
                 position: (38, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "fcitx",
                 position: (38, 24),
                },
               ],
               position: (38, 23),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "XMODIFIERS",
                 position: (39, 7),
                },
               ],
              },
              to: String {
               parts: [
                Raw {
                 content: "@im=fcitx",
                 position: (39, 24),
                },
               ],
               position: (39, 23),
              },
             },
            ],
            recursive: false,
            position: (36, 29),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "services",
              position: (41, 5),
             },
             Raw {
              content: "xserver",
              position: (41, 14),
             },
             Raw {
              content: "displayManager",
              position: (41, 22),
             },
             Raw {
              content: "sessionCommands",
              position: (41, 37),
             },
            ],
           },
           to: String {
            parts: [
             Expression {
              expression: Variable {
               identifier: "fcitxPackage",
               position: (41, 58),
              },
             },
             Raw {
              content: "/bin/fcitx",
              position: (41, 71),
             },
            ],
            position: (41, 55),
           },
          },
         ],
         recursive: false,
         position: (33, 62),
        },
       ],
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "meta",
         position: (45, 3),
        },
        Raw {
         content: "buildDocsInSandbox",
         position: (45, 8),
        },
       ],
      },
      to: Variable {
       identifier: "false",
       position: (45, 29),
      },
     },
    ],
    recursive: false,
    position: (13, 1),
   },
   position: (5, 1),
  },
  position: (3, 1),
 },
 position: (1, 1),
}