Module Code_predefinedOperators

module Code_predefinedOperators: sig .. end
Check: redefinition predefined of operators.

include Check.Structure