Module Code_predefinedExceptions

module Code_predefinedExceptions: sig .. end
Check: redefinition of predefined exceptions.

include Check.Structure