Previous
Up
Next
Module
Code_builtinTypes
module
Code_builtinTypes:
sig
..
end
Check: redefinition of builtin types.
include
Check.Structure