Fixed the public definition of the type [production] in [Inspection].

src/interface.ml

@@ -130,8 +130,8 @@ let inspection_api grammar () =
     IIInclude (
       with_types WKDestructive
         "MenhirLib.IncrementalEngine.INSPECTION" [
-          "xsymbol", TypApp ("xsymbol", []); (* TEMPORARY *)
-          "production", tint (* TEMPORARY *)
+          SymbolType.tcxsymbol, SymbolType.txsymbol;
+          "production", TypApp ("MenhirInterpreter.production", [])
         ]
     ) ::
 

src/symbolType.mli

@@ -16,6 +16,7 @@ val symbolgadtdef: unit -> IL.interface
    GADT above. Thus, it is not parameterized. *)
 
 val dataX: string
+val tcxsymbol: string
 val txsymbol: IL.typ
 val xsymboldef: unit -> IL.interface
 

src/tableInterpreter.mli

@@ -16,6 +16,7 @@ module Make (T : TableFormat.TABLES)
 : EngineTypes.ENGINE with type state = int
                            and type token = T.token
 			   and type semantic_value = Obj.t
+                           and type production = int
 
 (* This functor is also invoked inside the generated parser. It
    constructs the inspection API on top of the inspection tables. *)