Turn off auto type declarations?

Stream: new members

[Kevin Sullivan]

Sorry folks, probably been asked 100 times. These auto-declared types are driving me nuts. How do I turn them off? Thanks. (I'm talking about cases where using a name not previously declared results in its implicit declaration. Nothing about implicit arguments here.)

[Kyle Miller]

set_option autoImplicit false