GotoItemIndex Type
Indexes into the memoizing table for the Goto computations Embed in a single integer, since these are faster keys for the dictionary hash tables Logically: type GotoItemIndex = GotoItemIdx of KernelIdx * SymbolIndex
Indexes into the memoizing table for the Goto computations Embed in a single integer, since these are faster keys for the dictionary hash tables Logically: type GotoItemIndex = GotoItemIdx of KernelIdx * SymbolIndex