Previous
Up
Next
Module
Code_physicalComparisons
module
Code_physicalComparisons:
sig
..
end
Check: detects physical comparisons.
include
Check.Structure