Support visibility control and default to `internal`. (#3380)

* Support visibility control and default to `internal`.

* Fix wip.

* Fixes.

* Fix.

* Fix test.

* Add legacy language detection and compatibility for existing code.

* Add doc.

---------

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 37 insertions, 35 deletions

diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html
index 48a7780d6..615b96b15 100644
--- a/docs/user-guide/toc.html
+++ b/docs/user-guide/toc.html
@@ -45,51 +45,53 @@
 <li data-link="03-convenience-features#modules"><span>Modules</span></li>
 </ul>
 </li>
-<li data-link="04-interfaces-generics"><span>Interfaces and Generics</span>
+<li data-link="04-modules-and-access-control"><span>Modules and Access Control</span>
+</li>
+<li data-link="05-interfaces-generics"><span>Interfaces and Generics</span>
 <ul class="toc_list">
-<li data-link="04-interfaces-generics#interfaces"><span>Interfaces</span></li>
-<li data-link="04-interfaces-generics#generics"><span>Generics</span></li>
-<li data-link="04-interfaces-generics#supported-constructs-in-interface-definitions"><span>Supported Constructs in Interface Definitions</span></li>
-<li data-link="04-interfaces-generics#associated-types"><span>Associated Types</span></li>
-<li data-link="04-interfaces-generics#generic-value-parameters"><span>Generic Value Parameters</span></li>
-<li data-link="04-interfaces-generics#interface-typed-values"><span>Interface-typed Values</span></li>
-<li data-link="04-interfaces-generics#extending-a-type-with-additional-interface-conformances"><span>Extending a Type with Additional Interface Conformances</span></li>
-<li data-link="04-interfaces-generics#is-and-as-operator"><span>`is` and `as` Operator</span></li>
-<li data-link="04-interfaces-generics#extensions-to-interfaces"><span>Extensions to Interfaces</span></li>
+<li data-link="05-interfaces-generics#interfaces"><span>Interfaces</span></li>
+<li data-link="05-interfaces-generics#generics"><span>Generics</span></li>
+<li data-link="05-interfaces-generics#supported-constructs-in-interface-definitions"><span>Supported Constructs in Interface Definitions</span></li>
+<li data-link="05-interfaces-generics#associated-types"><span>Associated Types</span></li>
+<li data-link="05-interfaces-generics#generic-value-parameters"><span>Generic Value Parameters</span></li>
+<li data-link="05-interfaces-generics#interface-typed-values"><span>Interface-typed Values</span></li>
+<li data-link="05-interfaces-generics#extending-a-type-with-additional-interface-conformances"><span>Extending a Type with Additional Interface Conformances</span></li>
+<li data-link="05-interfaces-generics#is-and-as-operator"><span>`is` and `as` Operator</span></li>
+<li data-link="05-interfaces-generics#extensions-to-interfaces"><span>Extensions to Interfaces</span></li>
 </ul>
 </li>
-<li data-link="05-compiling"><span>Compiling Code with Slang</span>
+<li data-link="06-compiling"><span>Compiling Code with Slang</span>
 <ul class="toc_list">
-<li data-link="05-compiling#concepts"><span>Concepts</span></li>
-<li data-link="05-compiling#command-line-compilation-with-slangc"><span>Command-Line Compilation with `slangc`</span></li>
-<li data-link="05-compiling#using-the-compilation-api"><span>Using the Compilation API</span></li>
+<li data-link="06-compiling#concepts"><span>Concepts</span></li>
+<li data-link="06-compiling#command-line-compilation-with-slangc"><span>Command-Line Compilation with `slangc`</span></li>
+<li data-link="06-compiling#using-the-compilation-api"><span>Using the Compilation API</span></li>
 </ul>
 </li>
-<li data-link="06-targets"><span>Supported Compilation Targets</span>
+<li data-link="07-targets"><span>Supported Compilation Targets</span>
 <ul class="toc_list">
-<li data-link="06-targets#background-and-terminology"><span>Background and Terminology</span></li>
-<li data-link="06-targets#direct3d-11"><span>Direct3D 11</span></li>
-<li data-link="06-targets#direct3d-12"><span>Direct3D 12</span></li>
-<li data-link="06-targets#vulkan"><span>Vulkan</span></li>
-<li data-link="06-targets#opengl"><span>OpenGL</span></li>
-<li data-link="06-targets#cuda-and-optix"><span>CUDA and OptiX</span></li>
-<li data-link="06-targets#cpu-compute"><span>CPU Compute</span></li>
-<li data-link="06-targets#summary"><span>Summary</span></li>
+<li data-link="07-targets#background-and-terminology"><span>Background and Terminology</span></li>
+<li data-link="07-targets#direct3d-11"><span>Direct3D 11</span></li>
+<li data-link="07-targets#direct3d-12"><span>Direct3D 12</span></li>
+<li data-link="07-targets#vulkan"><span>Vulkan</span></li>
+<li data-link="07-targets#opengl"><span>OpenGL</span></li>
+<li data-link="07-targets#cuda-and-optix"><span>CUDA and OptiX</span></li>
+<li data-link="07-targets#cpu-compute"><span>CPU Compute</span></li>
+<li data-link="07-targets#summary"><span>Summary</span></li>
 </ul>
 </li>
-<li data-link="07-autodiff"><span>Automatic Differentiation</span>
+<li data-link="08-autodiff"><span>Automatic Differentiation</span>
 <ul class="toc_list">
-<li data-link="07-autodiff#using-automatic-differentiation-in-slang"><span>Using Automatic Differentiation in Slang</span></li>
-<li data-link="07-autodiff#mathematic-concepts-and-terminologies"><span>Mathematic Concepts and Terminologies</span></li>
-<li data-link="07-autodiff#differentiable-types"><span>Differentiable Types</span></li>
-<li data-link="07-autodiff#forward-derivative-propagation-function"><span>Forward Derivative Propagation Function</span></li>
-<li data-link="07-autodiff#backward-derivative-propagation-function"><span>Backward Derivative Propagation Function</span></li>
-<li data-link="07-autodiff#builtin-differentiable-functions"><span>Builtin Differentiable Functions</span></li>
-<li data-link="07-autodiff#primal-substitute-functions"><span>Primal Substitute Functions</span></li>
-<li data-link="07-autodiff#working-with-mixed-differentiable-and-non-differentiable-code"><span>Working with Mixed Differentiable and Non-Differentiable Code</span></li>
-<li data-link="07-autodiff#higher-order-differentiation"><span>Higher Order Differentiation</span></li>
-<li data-link="07-autodiff#interactions-with-generics-and-interfaces"><span>Interactions with Generics and Interfaces</span></li>
-<li data-link="07-autodiff#restrictions-of-automatic-differentiation"><span>Restrictions of Automatic Differentiation</span></li>
+<li data-link="08-autodiff#using-automatic-differentiation-in-slang"><span>Using Automatic Differentiation in Slang</span></li>
+<li data-link="08-autodiff#mathematic-concepts-and-terminologies"><span>Mathematic Concepts and Terminologies</span></li>
+<li data-link="08-autodiff#differentiable-types"><span>Differentiable Types</span></li>
+<li data-link="08-autodiff#forward-derivative-propagation-function"><span>Forward Derivative Propagation Function</span></li>
+<li data-link="08-autodiff#backward-derivative-propagation-function"><span>Backward Derivative Propagation Function</span></li>
+<li data-link="08-autodiff#builtin-differentiable-functions"><span>Builtin Differentiable Functions</span></li>
+<li data-link="08-autodiff#primal-substitute-functions"><span>Primal Substitute Functions</span></li>
+<li data-link="08-autodiff#working-with-mixed-differentiable-and-non-differentiable-code"><span>Working with Mixed Differentiable and Non-Differentiable Code</span></li>
+<li data-link="08-autodiff#higher-order-differentiation"><span>Higher Order Differentiation</span></li>
+<li data-link="08-autodiff#interactions-with-generics-and-interfaces"><span>Interactions with Generics and Interfaces</span></li>
+<li data-link="08-autodiff#restrictions-of-automatic-differentiation"><span>Restrictions of Automatic Differentiation</span></li>
 </ul>
 </li>
 <li data-link="a1-special-topics"><span>Special Topics</span>