Module MenhirLib.InspectionTableFormat

module type TABLES = sig ... end