Module Code_physicalComparisons

module Code_physicalComparisons: sig .. end
Check: detects physical comparisons.

include Check.Structure