A module for checking that a table conforms to a strictly typed structure.