Module MenhirLib.InspectionTableFormat

This signature defines the format of the tables that are produced (in addition to the tables described in TableFormat) when the command line switch --inspection is enabled. It is used as an argument to InspectionTableInterpreter.Make.