Module MenhirLib.TableFormat
module type TABLES = sig ... endThis signature defines the format of the parse tables. It is used as an argument to TableInterpreter.Make.
MenhirLib.TableFormatmodule type TABLES = sig ... endThis signature defines the format of the parse tables. It is used as an argument to TableInterpreter.Make.