Previous
Up
Next
Module
Code_negatedIf
module
Code_negatedIf:
sig
..
end
Check: negated 'if' condition.
include
Check.Structure