Module Code_noEffectAssignment

module Code_noEffectAssignment: sig .. end
Check: detects assignments with no effect.

include Check.Structure