---
Γ := 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 "lib" (1, 3)
        , := lexemes ","
          , "," (1, 6)
        formals := rules "formal" "," "formals"
          formal := rules "ID"
            ID := lexemes "ID"
              ID "stdenv" (1, 8)
          , := lexemes ","
            , "," (1, 14)
          formals := rules "formal" "," "formals"
            formal := rules "ID"
              ID := lexemes "ID"
                ID "fetchurl" (1, 16)
            , := lexemes ","
              , "," (2, 1)
            formals := rules "formal" "," "formals"
              formal := rules "ID"
                ID := lexemes "ID"
                  ID "netcdf" (2, 3)
              , := lexemes ","
                , "," (2, 9)
              formals := rules "formal" "," "formals"
                formal := rules "ID"
                  ID := lexemes "ID"
                    ID "xlibsWrapper" (2, 11)
                , := lexemes ","
                  , "," (2, 23)
                formals := rules "formal" "," "formals"
                  formal := rules "ID"
                    ID := lexemes "ID"
                      ID "xorg" (2, 25)
                  , := lexemes ","
                    , "," (2, 29)
                  formals := rules "formal" "," "formals"
                    formal := rules "ID"
                      ID := lexemes "ID"
                        ID "udunits" (2, 31)
                    , := lexemes ","
                      , "," (2, 38)
                    formals := rules "formal"
                      formal := rules "ID"
                        ID := lexemes "ID"
                          ID "expat" (2, 40)
      } := lexemes "}"
        } "}" (3, 1)
      : := lexemes ":"
        : ":" (3, 2)
      expr_function := rules "LET" "binds" "IN" "expr_function"
        LET := lexemes "LET"
          LET "let" (5, 1)
        binds := rules "binds" "attrpath" "=" "expr" ";"
          binds := rules "binds" "attrpath" "=" "expr" ";"
            binds := rules 
            attrpath := rules "attr"
              attr := rules "ID"
                ID := lexemes "ID"
                  ID "pname" (6, 3)
            = := lexemes "="
              = "=" (6, 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 "\""
                            " "\"" (6, 11)
                          string_parts := rules "STR"
                            STR := lexemes "STR"
                              STR "ncview" (6, 12)
                          " := lexemes "\""
                            " "\"" (6, 18)
            ; := lexemes ";"
              ; ";" (6, 19)
          attrpath := rules "attr"
            attr := rules "ID"
              ID := lexemes "ID"
                ID "version" (7, 3)
          = := lexemes "="
            = "=" (7, 11)
          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 "\""
                          " "\"" (7, 13)
                        string_parts := rules "STR"
                          STR := lexemes "STR"
                            STR "2.1.8" (7, 14)
                        " := lexemes "\""
                          " "\"" (7, 19)
          ; := lexemes ";"
            ; ";" (7, 20)
        IN := lexemes "IN"
          IN "in" (9, 1)
        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" "." "attrpath"
                    expr_simple := rules "ID"
                      ID := lexemes "ID"
                        ID "stdenv" (9, 4)
                    . := lexemes "."
                      . "." (9, 10)
                    attrpath := rules "attr"
                      attr := rules "ID"
                        ID := lexemes "ID"
                          ID "mkDerivation" (9, 11)
                expr_select := rules "expr_simple"
                  expr_simple := rules "{" "binds" "}"
                    { := lexemes "{"
                      { "{" (9, 24)
                    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 "name" (10, 3)
                            = := lexemes "="
                              = "=" (10, 8)
                            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 "\""
                                            " "\"" (10, 10)
                                          string_parts := rules "string_parts_interpolated"
                                            string_parts_interpolated := rules "string_parts_interpolated" "DOLLAR_CURLY" "expr" "}"
                                              string_parts_interpolated := rules "string_parts_interpolated" "STR"
                                                string_parts_interpolated := rules "DOLLAR_CURLY" "expr" "}"
                                                  DOLLAR_CURLY := lexemes "DOLLAR_CURLY"
                                                    DOLLAR_CURLY "${" (10, 11)
                                                  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 "pname" (10, 13)
                                                  } := lexemes "}"
                                                    } "}" (10, 18)
                                                STR := lexemes "STR"
                                                  STR "-" (10, 19)
                                              DOLLAR_CURLY := lexemes "DOLLAR_CURLY"
                                                DOLLAR_CURLY "${" (10, 20)
                                              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 "version" (10, 22)
                                              } := lexemes "}"
                                                } "}" (10, 29)
                                          " := lexemes "\""
                                            " "\"" (10, 30)
                            ; := lexemes ";"
                              ; ";" (10, 31)
                          attrpath := rules "attr"
                            attr := rules "ID"
                              ID := lexemes "ID"
                                ID "src" (12, 3)
                          = := lexemes "="
                            = "=" (12, 7)
                          expr := rules "expr_function"
                            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 "fetchurl" (12, 9)
                                    expr_select := rules "expr_simple"
                                      expr_simple := rules "{" "binds" "}"
                                        { := lexemes "{"
                                          { "{" (12, 18)
                                        binds := rules "binds" "attrpath" "=" "expr" ";"
                                          binds := rules "binds" "attrpath" "=" "expr" ";"
                                            binds := rules 
                                            attrpath := rules "attr"
                                              attr := rules "ID"
                                                ID := lexemes "ID"
                                                  ID "url" (13, 5)
                                            = := lexemes "="
                                              = "=" (13, 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 "\"" "string_parts" "\""
                                                          " := lexemes "\""
                                                            " "\"" (13, 14)
                                                          string_parts := rules "STR"
                                                            STR := lexemes "STR"
                                                              STR "ftp://cirrus.ucsd.edu/pub/ncview/ncview-2.1.8.tar.gz" (13, 15)
                                                          " := lexemes "\""
                                                            " "\"" (13, 67)
                                            ; := lexemes ";"
                                              ; ";" (13, 68)
                                          attrpath := rules "attr"
                                            attr := rules "ID"
                                              ID := lexemes "ID"
                                                ID "sha256" (14, 5)
                                          = := lexemes "="
                                            = "=" (14, 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 "\"" "string_parts" "\""
                                                        " := lexemes "\""
                                                          " "\"" (14, 14)
                                                        string_parts := rules "STR"
                                                          STR := lexemes "STR"
                                                            STR "1gliziyxil2fcz85hj6z0jq33avrxdcjs74d500lhxwvgd8drfp8" (14, 15)
                                                        " := lexemes "\""
                                                          " "\"" (14, 67)
                                          ; := lexemes ";"
                                            ; ";" (14, 68)
                                        } := lexemes "}"
                                          } "}" (15, 3)
                          ; := lexemes ";"
                            ; ";" (15, 4)
                        attrpath := rules "attr"
                          attr := rules "ID"
                            ID := lexemes "ID"
                              ID "buildInputs" (17, 3)
                        = := lexemes "="
                          = "=" (17, 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 "["
                                        [ "[" (17, 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_select := rules "expr_simple"
                                                  expr_simple := rules "ID"
                                                    ID := lexemes "ID"
                                                      ID "netcdf" (17, 19)
                                              expr_select := rules "expr_simple"
                                                expr_simple := rules "ID"
                                                  ID := lexemes "ID"
                                                    ID "xlibsWrapper" (17, 26)
                                            expr_select := rules "expr_simple" "." "attrpath"
                                              expr_simple := rules "ID"
                                                ID := lexemes "ID"
                                                  ID "xorg" (17, 39)
                                              . := lexemes "."
                                                . "." (17, 43)
                                              attrpath := rules "attr"
                                                attr := rules "ID"
                                                  ID := lexemes "ID"
                                                    ID "libXaw" (17, 44)
                                          expr_select := rules "expr_simple"
                                            expr_simple := rules "ID"
                                              ID := lexemes "ID"
                                                ID "udunits" (17, 51)
                                        expr_select := rules "expr_simple"
                                          expr_simple := rules "ID"
                                            ID := lexemes "ID"
                                              ID "expat" (17, 59)
                                      ] := lexemes "]"
                                        ] "]" (17, 65)
                        ; := lexemes ";"
                          ; ";" (17, 66)
                      attrpath := rules "attr"
                        attr := rules "ID"
                          ID := lexemes "ID"
                            ID "meta" (19, 3)
                      = := lexemes "="
                        = "=" (19, 8)
                      expr := rules "expr_function"
                        expr_function := rules "WITH" "expr" ";" "expr_function"
                          WITH := lexemes "WITH"
                            WITH "with" (19, 10)
                          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" (19, 15)
                          ; := lexemes ";"
                            ; ";" (19, 18)
                          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 "{" "binds" "}"
                                      { := lexemes "{"
                                        { "{" (19, 20)
                                      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 "description" (20, 5)
                                              = := lexemes "="
                                                = "=" (20, 17)
                                              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 "\""
                                                              " "\"" (20, 19)
                                                            string_parts := rules "STR"
                                                              STR := lexemes "STR"
                                                                STR "Visual browser for netCDF format files" (20, 20)
                                                            " := lexemes "\""
                                                              " "\"" (20, 58)
                                              ; := lexemes ";"
                                                ; ";" (20, 59)
                                            attrpath := rules "attr"
                                              attr := rules "ID"
                                                ID := lexemes "ID"
                                                  ID "homepage" (21, 5)
                                            = := lexemes "="
                                              = "=" (21, 17)
                                            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 "\""
                                                            " "\"" (21, 19)
                                                          string_parts := rules "STR"
                                                            STR := lexemes "STR"
                                                              STR "http://meteora.ucsd.edu/~pierce/ncview_home_page.html" (21, 20)
                                                          " := lexemes "\""
                                                            " "\"" (21, 73)
                                            ; := lexemes ";"
                                              ; ";" (21, 74)
                                          attrpath := rules "attr"
                                            attr := rules "ID"
                                              ID := lexemes "ID"
                                                ID "license" (22, 5)
                                          = := lexemes "="
                                            = "=" (22, 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" "." "attrpath"
                                                      expr_simple := rules "ID"
                                                        ID := lexemes "ID"
                                                          ID "licenses" (22, 15)
                                                      . := lexemes "."
                                                        . "." (22, 23)
                                                      attrpath := rules "attr"
                                                        attr := rules "ID"
                                                          ID := lexemes "ID"
                                                            ID "gpl3" (22, 24)
                                          ; := lexemes ";"
                                            ; ";" (22, 28)
                                        attrpath := rules "attr"
                                          attr := rules "ID"
                                            ID := lexemes "ID"
                                              ID "maintainers" (23, 5)
                                        = := lexemes "="
                                          = "=" (23, 17)
                                        expr := rules "expr_function"
                                          expr_function := rules "WITH" "expr" ";" "expr_function"
                                            WITH := lexemes "WITH"
                                              WITH "with" (23, 19)
                                            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 "maintainers" (23, 24)
                                            ; := lexemes ";"
                                              ; ";" (23, 35)
                                            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 "["
                                                          [ "[" (23, 37)
                                                        expr_list := rules "expr_list" "expr_select"
                                                          expr_list := rules 
                                                          expr_select := rules "expr_simple"
                                                            expr_simple := rules "ID"
                                                              ID := lexemes "ID"
                                                                ID "jmettes" (23, 39)
                                                        ] := lexemes "]"
                                                          ] "]" (23, 47)
                                        ; := lexemes ";"
                                          ; ";" (23, 48)
                                      } := lexemes "}"
                                        } "}" (24, 3)
                      ; := lexemes ";"
                        ; ";" (24, 4)
                    } := lexemes "}"
                      } "}" (25, 1)