Module MenhirLib.TableFormat

module type TABLES = sig ... end

This signature defines the format of the parse tables. It is used as an argument to TableInterpreter.Make.