Previous
Up
Next
Module
Code_predefinedOperators
module
Code_predefinedOperators:
sig
..
end
Check: redefinition predefined of operators.
include
Check.Structure