Module Code_emptyWhile

module Code_emptyWhile: sig .. end
Check: empty 'while' constructs.

include Check.Structure