Module Code_nestedWhile

module Code_nestedWhile: sig .. end
Check: nested 'while' constructs.

include Check.Structure