Module MenhirLib.TableFormat

module type TABLES = sig ... end