Comment and TODO item.

TODO

+* Check that the LR(0) items never have an empty left segment
+  (i.e. i > 0 always holds) and that their left segments are
+  comparable wrt to the suffix ordering.
+
+* Define [print_result].
+  Define a printer that shows the states in the stack.
+  Try computing a set of expected symbols in the current state.
+
 * Generate default printers for terminal and nonterminal.
 
 * IncrementalEngine: document [lr1state], [element], [view].

src/IncrementalEngine.ml

@@ -183,7 +183,8 @@ module type INSPECTION = sig
   val rhs: production -> xsymbol list
 
   (* [items s] is the set of the LR(0) items in the LR(0) core of the LR(1)
-     state [s]. This set is presented as a list, in an arbitrary order. *)
+     state [s]. This set is not epsilon-closed. This set is presented as a
+     list, in an arbitrary order. *)
 
   val items: 'a lr1state -> item list