Previous
Up
Next
Module
Code_nestedWhile
module
Code_nestedWhile:
sig
..
end
Check: nested 'while' constructs.
include
Check.Structure