Module Code_negatedIf

module Code_negatedIf: sig .. end
Check: negated 'if' condition.

include Check.Structure