The Tcl API call Tcl_PkgProvide() is called from Tls_Init() as part of loading
the TLS extension.  There wouldn't be any advantage to adding it to tls.tcl.

What are you trying to accomplish ?