I'm inclined to think that the correct solution would be to add :TRUSTED as a :WHERE-FROM type to globaldb, and trust only those.
After a function has been compiled, any :DECLARED type it had can be upgraded to :TRUSTED.
I'm inclined to think that the correct solution would be to add :TRUSTED as a :WHERE-FROM type to globaldb, and trust only those.
After a function has been compiled, any :DECLARED type it had can be upgraded to :TRUSTED.