---
Γ := rules "expr"
  expr := rules "expr_function"
    expr_function := rules "{" "formals" "}" ":" "expr_function"
      { := lexemes "{"
        { "{" (1, 1)
      formals := rules "formal" "," "formals"
        formal := rules "ID"
          ID := lexemes "ID"
            ID "mkDerivation" (2, 3)
        , := lexemes ","
          , "," (2, 15)
        formals := rules "formal" "," "formals"
          formal := rules "ID"
            ID := lexemes "ID"
              ID "lib" (2, 17)
          , := lexemes ","
            , "," (2, 20)
          formals := rules "formal" "," "formals"
            formal := rules "ID"
              ID := lexemes "ID"
                ID "extra-cmake-modules" (4, 3)
            , := lexemes ","
              , "," (4, 22)
            formals := rules "formal" "," "formals"
              formal := rules "ID"
                ID := lexemes "ID"
                  ID "kdoctools" (4, 24)
              , := lexemes ","
                , "," (4, 33)
              formals := rules "formal" "," "formals"
                formal := rules "ID"
                  ID := lexemes "ID"
                    ID "coreutils" (6, 3)
                , := lexemes ","
                  , "," (6, 12)
                formals := rules "formal" "," "formals"
                  formal := rules "ID"
                    ID := lexemes "ID"
                      ID "dbus" (6, 14)
                  , := lexemes ","
                    , "," (6, 18)
                  formals := rules "formal" "," "formals"
                    formal := rules "ID"
                      ID := lexemes "ID"
                        ID "gnugrep" (6, 20)
                    , := lexemes ","
                      , "," (6, 27)
                    formals := rules "formal" "," "formals"
                      formal := rules "ID"
                        ID := lexemes "ID"
                          ID "gnused" (6, 29)
                      , := lexemes ","
                        , "," (6, 35)
                      formals := rules "formal" "," "formals"
                        formal := rules "ID"
                          ID := lexemes "ID"
                            ID "libdbusmenu" (6, 37)
                        , := lexemes ","
                          , "," (6, 48)
                        formals := rules "formal" "," "formals"
                          formal := rules "ID"
                            ID := lexemes "ID"
                              ID "pam" (6, 50)
                          , := lexemes ","
                            , "," (6, 53)
                          formals := rules "formal" "," "formals"
                            formal := rules "ID"
                              ID := lexemes "ID"
                                ID "wayland" (6, 55)
                            , := lexemes ","
                              , "," (6, 62)
                            formals := rules "formal" "," "formals"
                              formal := rules "ID"
                                ID := lexemes "ID"
                                  ID "appstream" (6, 64)
                              , := lexemes ","
                                , "," (6, 73)
                              formals := rules "formal" "," "formals"
                                formal := rules "ID"
                                  ID := lexemes "ID"
                                    ID "kdeclarative" (8, 3)
                                , := lexemes ","
                                  , "," (8, 15)
                                formals := rules "formal" "," "formals"
                                  formal := rules "ID"
                                    ID := lexemes "ID"
                                      ID "kdelibs4support" (8, 17)
                                  , := lexemes ","
                                    , "," (8, 32)
                                  formals := rules "formal" "," "formals"
                                    formal := rules "ID"
                                      ID := lexemes "ID"
                                        ID "kpeople" (8, 34)
                                    , := lexemes ","
                                      , "," (8, 41)
                                    formals := rules "formal" "," "formals"
                                      formal := rules "ID"
                                        ID := lexemes "ID"
                                          ID "kconfig" (8, 43)
                                      , := lexemes ","
                                        , "," (8, 50)
                                      formals := rules "formal" "," "formals"
                                        formal := rules "ID"
                                          ID := lexemes "ID"
                                            ID "krunner" (8, 52)
                                        , := lexemes ","
                                          , "," (8, 59)
                                        formals := rules "formal" "," "formals"
                                          formal := rules "ID"
                                            ID := lexemes "ID"
                                              ID "kinit" (8, 61)
                                          , := lexemes ","
                                            , "," (8, 66)
                                          formals := rules "formal" "," "formals"
                                            formal := rules "ID"
                                              ID := lexemes "ID"
                                                ID "kwayland" (8, 68)
                                            , := lexemes ","
                                              , "," (8, 76)
                                            formals := rules "formal" "," "formals"
                                              formal := rules "ID"
                                                ID := lexemes "ID"
                                                  ID "kwin" (8, 78)
                                              , := lexemes ","
                                                , "," (8, 82)
                                              formals := rules "formal" "," "formals"
                                                formal := rules "ID"
                                                  ID := lexemes "ID"
                                                    ID "plasma-framework" (9, 3)
                                                , := lexemes ","
                                                  , "," (9, 19)
                                                formals := rules "formal" "," "formals"
                                                  formal := rules "ID"
                                                    ID := lexemes "ID"
                                                      ID "telepathy" (9, 21)
                                                  , := lexemes ","
                                                    , "," (9, 30)
                                                  formals := rules "formal" "," "formals"
                                                    formal := rules "ID"
                                                      ID := lexemes "ID"
                                                        ID "libphonenumber" (9, 32)
                                                    , := lexemes ","
                                                      , "," (9, 46)
                                                    formals := rules "formal" "," "formals"
                                                      formal := rules "ID"
                                                        ID := lexemes "ID"
                                                          ID "protobuf" (9, 48)
                                                      , := lexemes ","
                                                        , "," (9, 56)
                                                      formals := rules "formal" "," "formals"
                                                        formal := rules "ID"
                                                          ID := lexemes "ID"
                                                            ID "libqofono" (9, 58)
                                                        , := lexemes ","
                                                          , "," (9, 67)
                                                        formals := rules "formal" "," "formals"
                                                          formal := rules "ID"
                                                            ID := lexemes "ID"
                                                              ID "modemmanager-qt" (9, 69)
                                                          , := lexemes ","
                                                            , "," (9, 84)
                                                          formals := rules "formal" "," "formals"
                                                            formal := rules "ID"
                                                              ID := lexemes "ID"
                                                                ID "networkmanager-qt" (10, 3)
                                                            , := lexemes ","
                                                              , "," (10, 20)
                                                            formals := rules "formal" "," "formals"
                                                              formal := rules "ID"
                                                                ID := lexemes "ID"
                                                                  ID "plasma-workspace" (10, 22)
                                                              , := lexemes ","
                                                                , "," (10, 38)
                                                              formals := rules "formal" "," "formals"
                                                                formal := rules "ID"
                                                                  ID := lexemes "ID"
                                                                    ID "maliit-framework" (11, 3)
                                                                , := lexemes ","
                                                                  , "," (11, 19)
                                                                formals := rules "formal" "," "formals"
                                                                  formal := rules "ID"
                                                                    ID := lexemes "ID"
                                                                      ID "maliit-keyboard" (11, 21)
                                                                  , := lexemes ","
                                                                    , "," (11, 36)
                                                                  formals := rules "formal" "," "formals"
                                                                    formal := rules "ID"
                                                                      ID := lexemes "ID"
                                                                        ID "qtwayland" (13, 3)
                                                                    , := lexemes ","
                                                                      , "," (13, 12)
                                                                    formals := rules "formal"
                                                                      formal := rules "ID"
                                                                        ID := lexemes "ID"
                                                                          ID "qttools" (13, 14)
      } := lexemes "}"
        } "}" (14, 1)
      : := lexemes ":"
        : ":" (14, 2)
      expr_function := rules "LET" "binds" "IN" "expr_function"
        LET := lexemes "LET"
          LET "let" (16, 1)
        binds := rules "binds" "INHERIT" "(" "expr" ")" "attrs" ";"
          binds := rules 
          INHERIT := lexemes "INHERIT"
            INHERIT "inherit" (16, 5)
          ( := lexemes "("
            ( "(" (16, 13)
          expr := rules "expr_function"
            expr_function := rules "expr_if"
              expr_if := rules "expr_op"
                expr_op := rules "expr_app"
                  expr_app := rules "expr_select"
                    expr_select := rules "expr_simple"
                      expr_simple := rules "ID"
                        ID := lexemes "ID"
                          ID "lib" (16, 14)
          ) := lexemes ")"
            ) ")" (16, 17)
          attrs := rules "attrs" "attr"
            attrs := rules "attrs" "attr"
              attrs := rules 
              attr := rules "ID"
                ID := lexemes "ID"
                  ID "getBin" (16, 19)
            attr := rules "ID"
              ID := lexemes "ID"
                ID "getLib" (16, 26)
          ; := lexemes ";"
            ; ";" (16, 32)
        IN := lexemes "IN"
          IN "in" (16, 34)
        expr_function := rules "expr_if"
          expr_if := rules "expr_op"
            expr_op := rules "expr_app"
              expr_app := rules "expr_app" "expr_select"
                expr_app := rules "expr_select"
                  expr_select := rules "expr_simple"
                    expr_simple := rules "ID"
                      ID := lexemes "ID"
                        ID "mkDerivation" (18, 1)
                expr_select := rules "expr_simple"
                  expr_simple := rules "{" "binds" "}"
                    { := lexemes "{"
                      { "{" (18, 14)
                    binds := rules "binds" "attrpath" "=" "expr" ";"
                      binds := rules "binds" "attrpath" "=" "expr" ";"
                        binds := rules "binds" "attrpath" "=" "expr" ";"
                          binds := rules "binds" "attrpath" "=" "expr" ";"
                            binds := rules "binds" "attrpath" "=" "expr" ";"
                              binds := rules "binds" "attrpath" "=" "expr" ";"
                                binds := rules 
                                attrpath := rules "attr"
                                  attr := rules "ID"
                                    ID := lexemes "ID"
                                      ID "pname" (19, 3)
                                = := lexemes "="
                                  = "=" (19, 9)
                                expr := rules "expr_function"
                                  expr_function := rules "expr_if"
                                    expr_if := rules "expr_op"
                                      expr_op := rules "expr_app"
                                        expr_app := rules "expr_select"
                                          expr_select := rules "expr_simple"
                                            expr_simple := rules "\"" "string_parts" "\""
                                              " := lexemes "\""
                                                " "\"" (19, 11)
                                              string_parts := rules "STR"
                                                STR := lexemes "STR"
                                                  STR "plasma-mobile" (19, 12)
                                              " := lexemes "\""
                                                " "\"" (19, 25)
                                ; := lexemes ";"
                                  ; ";" (19, 26)
                              attrpath := rules "attr"
                                attr := rules "ID"
                                  ID := lexemes "ID"
                                    ID "nativeBuildInputs" (21, 3)
                              = := lexemes "="
                                = "=" (21, 21)
                              expr := rules "expr_function"
                                expr_function := rules "expr_if"
                                  expr_if := rules "expr_op"
                                    expr_op := rules "expr_app"
                                      expr_app := rules "expr_select"
                                        expr_select := rules "expr_simple"
                                          expr_simple := rules "[" "expr_list" "]"
                                            [ := lexemes "["
                                              [ "[" (21, 23)
                                            expr_list := rules "expr_list" "expr_select"
                                              expr_list := rules "expr_list" "expr_select"
                                                expr_list := rules 
                                                expr_select := rules "expr_simple"
                                                  expr_simple := rules "ID"
                                                    ID := lexemes "ID"
                                                      ID "extra-cmake-modules" (21, 25)
                                              expr_select := rules "expr_simple"
                                                expr_simple := rules "ID"
                                                  ID := lexemes "ID"
                                                    ID "kdoctools" (21, 45)
                                            ] := lexemes "]"
                                              ] "]" (21, 55)
                              ; := lexemes ";"
                                ; ";" (21, 56)
                            attrpath := rules "attr"
                              attr := rules "ID"
                                ID := lexemes "ID"
                                  ID "buildInputs" (22, 3)
                            = := lexemes "="
                              = "=" (22, 15)
                            expr := rules "expr_function"
                              expr_function := rules "expr_if"
                                expr_if := rules "expr_op"
                                  expr_op := rules "expr_app"
                                    expr_app := rules "expr_select"
                                      expr_select := rules "expr_simple"
                                        expr_simple := rules "[" "expr_list" "]"
                                          [ := lexemes "["
                                            [ "[" (22, 17)
                                          expr_list := rules "expr_list" "expr_select"
                                            expr_list := rules "expr_list" "expr_select"
                                              expr_list := rules "expr_list" "expr_select"
                                                expr_list := rules "expr_list" "expr_select"
                                                  expr_list := rules "expr_list" "expr_select"
                                                    expr_list := rules "expr_list" "expr_select"
                                                      expr_list := rules "expr_list" "expr_select"
                                                        expr_list := rules "expr_list" "expr_select"
                                                          expr_list := rules "expr_list" "expr_select"
                                                            expr_list := rules "expr_list" "expr_select"
                                                              expr_list := rules "expr_list" "expr_select"
                                                                expr_list := rules "expr_list" "expr_select"
                                                                  expr_list := rules "expr_list" "expr_select"
                                                                    expr_list := rules "expr_list" "expr_select"
                                                                      expr_list := rules "expr_list" "expr_select"
                                                                        expr_list := rules "expr_list" "expr_select"
                                                                          expr_list := rules "expr_list" "expr_select"
                                                                            expr_list := rules "expr_list" "expr_select"
                                                                              expr_list := rules "expr_list" "expr_select"
                                                                                expr_list := rules "expr_list" "expr_select"
                                                                                  expr_list := rules "expr_list" "expr_select"
                                                                                    expr_list := rules 
                                                                                    expr_select := rules "expr_simple"
                                                                                      expr_simple := rules "ID"
                                                                                        ID := lexemes "ID"
                                                                                          ID "appstream" (23, 5)
                                                                                  expr_select := rules "expr_simple"
                                                                                    expr_simple := rules "ID"
                                                                                      ID := lexemes "ID"
                                                                                        ID "libdbusmenu" (23, 15)
                                                                                expr_select := rules "expr_simple"
                                                                                  expr_simple := rules "ID"
                                                                                    ID := lexemes "ID"
                                                                                      ID "pam" (23, 27)
                                                                              expr_select := rules "expr_simple"
                                                                                expr_simple := rules "ID"
                                                                                  ID := lexemes "ID"
                                                                                    ID "wayland" (23, 31)
                                                                            expr_select := rules "expr_simple"
                                                                              expr_simple := rules "ID"
                                                                                ID := lexemes "ID"
                                                                                  ID "kdeclarative" (24, 5)
                                                                          expr_select := rules "expr_simple"
                                                                            expr_simple := rules "ID"
                                                                              ID := lexemes "ID"
                                                                                ID "kdelibs4support" (24, 18)
                                                                        expr_select := rules "expr_simple"
                                                                          expr_simple := rules "ID"
                                                                            ID := lexemes "ID"
                                                                              ID "kpeople" (24, 34)
                                                                      expr_select := rules "expr_simple"
                                                                        expr_simple := rules "ID"
                                                                          ID := lexemes "ID"
                                                                            ID "kconfig" (24, 42)
                                                                    expr_select := rules "expr_simple"
                                                                      expr_simple := rules "ID"
                                                                        ID := lexemes "ID"
                                                                          ID "krunner" (24, 50)
                                                                  expr_select := rules "expr_simple"
                                                                    expr_simple := rules "ID"
                                                                      ID := lexemes "ID"
                                                                        ID "kinit" (24, 58)
                                                                expr_select := rules "expr_simple"
                                                                  expr_simple := rules "ID"
                                                                    ID := lexemes "ID"
                                                                      ID "kwayland" (24, 64)
                                                              expr_select := rules "expr_simple"
                                                                expr_simple := rules "ID"
                                                                  ID := lexemes "ID"
                                                                    ID "kwin" (24, 73)
                                                            expr_select := rules "expr_simple"
                                                              expr_simple := rules "ID"
                                                                ID := lexemes "ID"
                                                                  ID "plasma-framework" (25, 5)
                                                          expr_select := rules "expr_simple"
                                                            expr_simple := rules "ID"
                                                              ID := lexemes "ID"
                                                                ID "telepathy" (25, 22)
                                                        expr_select := rules "expr_simple"
                                                          expr_simple := rules "ID"
                                                            ID := lexemes "ID"
                                                              ID "libphonenumber" (25, 32)
                                                      expr_select := rules "expr_simple"
                                                        expr_simple := rules "ID"
                                                          ID := lexemes "ID"
                                                            ID "protobuf" (25, 47)
                                                    expr_select := rules "expr_simple"
                                                      expr_simple := rules "ID"
                                                        ID := lexemes "ID"
                                                          ID "libqofono" (25, 56)
                                                  expr_select := rules "expr_simple"
                                                    expr_simple := rules "ID"
                                                      ID := lexemes "ID"
                                                        ID "modemmanager-qt" (25, 66)
                                                expr_select := rules "expr_simple"
                                                  expr_simple := rules "ID"
                                                    ID := lexemes "ID"
                                                      ID "networkmanager-qt" (26, 5)
                                              expr_select := rules "expr_simple"
                                                expr_simple := rules "ID"
                                                  ID := lexemes "ID"
                                                    ID "maliit-framework" (26, 23)
                                            expr_select := rules "expr_simple"
                                              expr_simple := rules "ID"
                                                ID := lexemes "ID"
                                                  ID "maliit-keyboard" (26, 40)
                                          ] := lexemes "]"
                                            ] "]" (27, 3)
                            ; := lexemes ";"
                              ; ";" (27, 4)
                          attrpath := rules "attr"
                            attr := rules "ID"
                              ID := lexemes "ID"
                                ID "postPatch" (29, 3)
                          = := lexemes "="
                            = "=" (29, 13)
                          expr := rules "expr_function"
                            expr_function := rules "expr_if"
                              expr_if := rules "expr_op"
                                expr_op := rules "expr_app"
                                  expr_app := rules "expr_select"
                                    expr_select := rules "expr_simple"
                                      expr_simple := rules "IND_STRING_OPEN" "ind_string_parts" "IND_STRING_CLOSE"
                                        IND_STRING_OPEN := lexemes "IND_STRING_OPEN"
                                          IND_STRING_OPEN "''\n" (29, 15)
                                        ind_string_parts := rules "ind_string_parts" "IND_STR"
                                          ind_string_parts := rules "ind_string_parts" "DOLLAR_CURLY" "expr" "}"
                                            ind_string_parts := rules "ind_string_parts" "IND_STR"
                                              ind_string_parts := rules "ind_string_parts" "DOLLAR_CURLY" "expr" "}"
                                                ind_string_parts := rules "ind_string_parts" "IND_STR"
                                                  ind_string_parts := rules 
                                                  IND_STR := lexemes "IND_STR"
                                                    IND_STR "    substituteInPlace bin/kwinwrapper.in \\\n      --replace @KDE_INSTALL_FULL_LIBEXECDIR@ \"" (30, 1)
                                                DOLLAR_CURLY := lexemes "DOLLAR_CURLY"
                                                  DOLLAR_CURLY "${" (31, 48)
                                                expr := rules "expr_function"
                                                  expr_function := rules "expr_if"
                                                    expr_if := rules "expr_op"
                                                      expr_op := rules "expr_app"
                                                        expr_app := rules "expr_select"
                                                          expr_select := rules "expr_simple"
                                                            expr_simple := rules "ID"
                                                              ID := lexemes "ID"
                                                                ID "plasma-workspace" (31, 50)
                                                } := lexemes "}"
                                                  } "}" (31, 66)
                                              IND_STR := lexemes "IND_STR"
                                                IND_STR "/libexec\"\n\n    substituteInPlace bin/plasma-mobile.desktop.cmake \\\n      --replace @CMAKE_INSTALL_FULL_LIBEXECDIR@ \"" (31, 67)
                                            DOLLAR_CURLY := lexemes "DOLLAR_CURLY"
                                              DOLLAR_CURLY "${" (34, 50)
                                            expr := rules "expr_function"
                                              expr_function := rules "expr_if"
                                                expr_if := rules "expr_op"
                                                  expr_op := rules "expr_app"
                                                    expr_app := rules "expr_select"
                                                      expr_select := rules "expr_simple"
                                                        expr_simple := rules "ID"
                                                          ID := lexemes "ID"
                                                            ID "plasma-workspace" (34, 52)
                                            } := lexemes "}"
                                              } "}" (34, 68)
                                          IND_STR := lexemes "IND_STR"
                                            IND_STR "/libexec\"\n  " (34, 69)
                                        IND_STRING_CLOSE := lexemes "IND_STRING_CLOSE"
                                          IND_STRING_CLOSE "''" (35, 3)
                          ; := lexemes ";"
                            ; ";" (35, 5)
                        attrpath := rules "attr"
                          attr := rules "ID"
                            ID := lexemes "ID"
                              ID "preFixup" (38, 3)
                        = := lexemes "="
                          = "=" (38, 12)
                        expr := rules "expr_function"
                          expr_function := rules "expr_if"
                            expr_if := rules "expr_op"
                              expr_op := rules "expr_app"
                                expr_app := rules "expr_select"
                                  expr_select := rules "expr_simple"
                                    expr_simple := rules "IND_STRING_OPEN" "ind_string_parts" "IND_STRING_CLOSE"
                                      IND_STRING_OPEN := lexemes "IND_STRING_OPEN"
                                        IND_STRING_OPEN "''\n" (38, 14)
                                      ind_string_parts := rules "ind_string_parts" "IND_STR"
                                        ind_string_parts := rules 
                                        IND_STR := lexemes "IND_STR"
                                          IND_STR "    wrapQtApp \"$out/bin/kwinwrapper\"\n  " (39, 1)
                                      IND_STRING_CLOSE := lexemes "IND_STRING_CLOSE"
                                        IND_STRING_CLOSE "''" (40, 3)
                        ; := lexemes ";"
                          ; ";" (40, 5)
                      attrpath := rules "attrpath" "." "attr"
                        attrpath := rules "attr"
                          attr := rules "ID"
                            ID := lexemes "ID"
                              ID "passthru" (42, 3)
                        . := lexemes "."
                          . "." (42, 11)
                        attr := rules "ID"
                          ID := lexemes "ID"
                            ID "providedSessions" (42, 12)
                      = := lexemes "="
                        = "=" (42, 29)
                      expr := rules "expr_function"
                        expr_function := rules "expr_if"
                          expr_if := rules "expr_op"
                            expr_op := rules "expr_app"
                              expr_app := rules "expr_select"
                                expr_select := rules "expr_simple"
                                  expr_simple := rules "[" "expr_list" "]"
                                    [ := lexemes "["
                                      [ "[" (42, 31)
                                    expr_list := rules "expr_list" "expr_select"
                                      expr_list := rules 
                                      expr_select := rules "expr_simple"
                                        expr_simple := rules "\"" "string_parts" "\""
                                          " := lexemes "\""
                                            " "\"" (42, 33)
                                          string_parts := rules "STR"
                                            STR := lexemes "STR"
                                              STR "plasma-mobile" (42, 34)
                                          " := lexemes "\""
                                            " "\"" (42, 47)
                                    ] := lexemes "]"
                                      ] "]" (42, 49)
                      ; := lexemes ";"
                        ; ";" (42, 50)
                    } := lexemes "}"
                      } "}" (43, 1)