---
Γ := 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 "buildDunePackage" (1, 3)
        , := lexemes ","
          , "," (1, 19)
        formals := rules "formal" "," "formals"
          formal := rules "ID"
            ID := lexemes "ID"
              ID "gnuplot" (1, 21)
          , := lexemes ","
            , "," (1, 28)
          formals := rules "formal" "," "formals"
            formal := rules "ID"
              ID := lexemes "ID"
                ID "ocaml_lwt" (1, 30)
            , := lexemes ","
              , "," (1, 39)
            formals := rules "formal" "," "formals"
              formal := rules "ID"
                ID := lexemes "ID"
                  ID "metrics" (1, 41)
              , := lexemes ","
                , "," (1, 48)
              formals := rules "formal" "," "formals"
                formal := rules "ID"
                  ID := lexemes "ID"
                    ID "metrics-lwt" (1, 50)
                , := lexemes ","
                  , "," (1, 61)
                formals := rules "formal" "," "formals"
                  formal := rules "ID"
                    ID := lexemes "ID"
                      ID "mtime" (1, 63)
                  , := lexemes ","
                    , "," (1, 68)
                  formals := rules "formal"
                    formal := rules "ID"
                      ID := lexemes "ID"
                        ID "uuidm" (1, 70)
      } := lexemes "}"
        } "}" (1, 76)
      : := lexemes ":"
        : ":" (1, 77)
      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 "buildDunePackage" (3, 1)
              expr_select := rules "expr_simple"
                expr_simple := rules "REC" "{" "binds" "}"
                  REC := lexemes "REC"
                    REC "rec" (3, 18)
                  { := lexemes "{"
                    { "{" (3, 22)
                  binds := rules "binds" "attrpath" "=" "expr" ";"
                    binds := rules "binds" "attrpath" "=" "expr" ";"
                      binds := rules "binds" "attrpath" "=" "expr" ";"
                        binds := rules "binds" "attrpath" "=" "expr" ";"
                          binds := rules "binds" "INHERIT" "(" "expr" ")" "attrs" ";"
                            binds := rules "binds" "attrpath" "=" "expr" ";"
                              binds := rules 
                              attrpath := rules "attr"
                                attr := rules "ID"
                                  ID := lexemes "ID"
                                    ID "pname" (5, 3)
                              = := lexemes "="
                                = "=" (5, 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 "\""
                                              " "\"" (5, 11)
                                            string_parts := rules "STR"
                                              STR := lexemes "STR"
                                                STR "metrics-unix" (5, 12)
                                            " := lexemes "\""
                                              " "\"" (5, 24)
                              ; := lexemes ";"
                                ; ";" (5, 25)
                            INHERIT := lexemes "INHERIT"
                              INHERIT "inherit" (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 "ID"
                                          ID := lexemes "ID"
                                            ID "metrics" (7, 12)
                            ) := lexemes ")"
                              ) ")" (7, 19)
                            attrs := rules "attrs" "attr"
                              attrs := rules "attrs" "attr"
                                attrs := rules "attrs" "attr"
                                  attrs := rules 
                                  attr := rules "ID"
                                    ID := lexemes "ID"
                                      ID "version" (7, 21)
                                attr := rules "ID"
                                  ID := lexemes "ID"
                                    ID "useDune2" (7, 29)
                              attr := rules "ID"
                                ID := lexemes "ID"
                                  ID "src" (7, 38)
                            ; := lexemes ";"
                              ; ";" (7, 41)
                          attrpath := rules "attr"
                            attr := rules "ID"
                              ID := lexemes "ID"
                                ID "propagatedBuildInputs" (9, 3)
                          = := lexemes "="
                            = "=" (9, 25)
                          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 "["
                                          [ "[" (9, 27)
                                        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 "gnuplot" (9, 29)
                                                expr_select := rules "expr_simple"
                                                  expr_simple := rules "ID"
                                                    ID := lexemes "ID"
                                                      ID "ocaml_lwt" (9, 37)
                                              expr_select := rules "expr_simple"
                                                expr_simple := rules "ID"
                                                  ID := lexemes "ID"
                                                    ID "metrics" (9, 47)
                                            expr_select := rules "expr_simple"
                                              expr_simple := rules "ID"
                                                ID := lexemes "ID"
                                                  ID "mtime" (9, 55)
                                          expr_select := rules "expr_simple"
                                            expr_simple := rules "ID"
                                              ID := lexemes "ID"
                                                ID "uuidm" (9, 61)
                                        ] := lexemes "]"
                                          ] "]" (9, 67)
                          ; := lexemes ";"
                            ; ";" (9, 68)
                        attrpath := rules "attr"
                          attr := rules "ID"
                            ID := lexemes "ID"
                              ID "checkInputs" (11, 3)
                        = := lexemes "="
                          = "=" (11, 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 "["
                                        [ "[" (11, 17)
                                      expr_list := rules "expr_list" "expr_select"
                                        expr_list := rules 
                                        expr_select := rules "expr_simple"
                                          expr_simple := rules "ID"
                                            ID := lexemes "ID"
                                              ID "metrics-lwt" (11, 19)
                                      ] := lexemes "]"
                                        ] "]" (11, 31)
                        ; := lexemes ";"
                          ; ";" (11, 32)
                      attrpath := rules "attr"
                        attr := rules "ID"
                          ID := lexemes "ID"
                            ID "doCheck" (13, 3)
                      = := lexemes "="
                        = "=" (13, 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 "true" (13, 13)
                      ; := lexemes ";"
                        ; ";" (13, 17)
                    attrpath := rules "attr"
                      attr := rules "ID"
                        ID := lexemes "ID"
                          ID "meta" (15, 3)
                    = := lexemes "="
                      = "=" (15, 8)
                    expr := rules "expr_function"
                      expr_function := rules "expr_if"
                        expr_if := rules "expr_op"
                          expr_op := rules "expr_op" "UPDATE" "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 "metrics" (15, 10)
                                  . := lexemes "."
                                    . "." (15, 17)
                                  attrpath := rules "attr"
                                    attr := rules "ID"
                                      ID := lexemes "ID"
                                        ID "meta" (15, 18)
                            UPDATE := lexemes "UPDATE"
                              UPDATE "//" (15, 23)
                            expr_op := rules "expr_app"
                              expr_app := rules "expr_select"
                                expr_select := rules "expr_simple"
                                  expr_simple := rules "{" "binds" "}"
                                    { := lexemes "{"
                                      { "{" (15, 26)
                                    binds := rules "binds" "attrpath" "=" "expr" ";"
                                      binds := rules 
                                      attrpath := rules "attr"
                                        attr := rules "ID"
                                          ID := lexemes "ID"
                                            ID "description" (16, 5)
                                      = := lexemes "="
                                        = "=" (16, 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 "\""
                                                      " "\"" (16, 19)
                                                    string_parts := rules "STR"
                                                      STR := lexemes "STR"
                                                        STR "Unix backend for the Metrics library" (16, 20)
                                                    " := lexemes "\""
                                                      " "\"" (16, 56)
                                      ; := lexemes ";"
                                        ; ";" (16, 57)
                                    } := lexemes "}"
                                      } "}" (17, 3)
                    ; := lexemes ";"
                      ; ";" (17, 4)
                  } := lexemes "}"
                    } "}" (19, 1)