It is actually not the case that type structure items can be shadowed :<div><br></div><div><div># module A = struct type t = int;; type t = int end;;</div><div>Error: Multiple definition of the type name t.</div><div>       Names must be unique in a given structure or signature.</div>

</div><div><br></div>