Previous
Up
Next
Module
Code_noEffectAssignment
module
Code_noEffectAssignment:
sig
..
end
Check: detects assignments with no effect.
include
Check.Structure