Module Code_tupleSize

module Code_tupleSize: sig .. end
Check: lengthy tuples.

include Check.Structure