Previous
Up
Next
Module
Code_predefinedExceptions
module
Code_predefinedExceptions:
sig
..
end
Check: redefinition of predefined exceptions.
include
Check.Structure