Previous
Up
Next
Module
Code_emptyWhile
module
Code_emptyWhile:
sig
..
end
Check: empty 'while' constructs.
include
Check.Structure