Module Code_builtinTypes

module Code_builtinTypes: sig .. end
Check: redefinition of builtin types.

include Check.Structure