docs: Rebuild API reference documentation

Regenerate API reference and documentation site using rebar3 ex_doc.
Updates all documentation output in docs/_build/ with latest compiler
and module documentation.

Co-Authored-By: Warp <agent@warp.dev>

Author: am-kantox

site/api/.build

@@ -0,0 +1,99 @@
+404.html
+api-reference.html
+api_reference.html
+cli_usage.html
+cure_action_compiler.html
+cure_ast.html
+cure_beam_compiler.html
+cure_cli.html
+cure_codegen.html
+cure_compile_wrapper.html
+cure_dependent_parser.html
+cure_dependent_types.html
+cure_derive.html
+cure_error_reporter.html
+cure_fsm_action_compiler.html
+cure_fsm_builtins.html
+cure_fsm_cure_api.html
+cure_fsm_monitor.html
+cure_fsm_runtime.html
+cure_fsm_typesafety.html
+cure_fsm_verifier.html
+cure_guard_codegen.html
+cure_guard_compiler.html
+cure_guard_optimizer.html
+cure_guard_refinement.html
+cure_guard_smt.html
+cure_instance_registry.html
+cure_lexer.html
+cure_lsp_code_actions.html
+cure_lsp_diagnostics.html
+cure_lsp_performance.html
+cure_lsp_server.html
+cure_lsp_smt.html
+cure_lsp_type_holes.html
+cure_parser.html
+cure_pattern_checker.html
+cure_pattern_encoder.html
+cure_pipe_optimizer.html
+cure_profiler.html
+cure_refinement_types.html
+cure_runtime.html
+cure_show_native.html
+cure_signature_generator.html
+cure_smt_array.html
+cure_smt_parser.html
+cure_smt_process.html
+cure_smt_solver.html
+cure_smt_translator.html
+cure_std.html
+cure_stdlib_signatures.html
+cure_string_native.html
+cure_syntax_guide.html
+cure_type_optimizer.html
+cure_typechecker.html
+cure_typeclass.html
+cure_typeclass_codegen.html
+cure_typeclass_dispatch.html
+cure_types.html
+cure_ultimate_description.html
+cure_utils.html
+dist/handlebars.runtime-NWIB6V2M.js
+dist/handlebars.templates-K7URE6B4.js
+dist/html-PVRIOB7F.js
+dist/html-erlang-4IXSOGMD.css
+dist/inconsolata-latin-400-normal-RGKDDNDD.woff2
+dist/inconsolata-latin-700-normal-DTS2D7TO.woff2
+dist/inconsolata-latin-ext-400-normal-K7HVGTP7.woff2
+dist/inconsolata-latin-ext-700-normal-4MPBLFZC.woff2
+dist/inconsolata-vietnamese-400-normal-IGQPHHJH.woff2
+dist/inconsolata-vietnamese-700-normal-LHEGSN35.woff2
+dist/lato-latin-300-normal-YUMVEFOL.woff2
+dist/lato-latin-400-normal-W7754I4D.woff2
+dist/lato-latin-700-normal-2XVSBPG4.woff2
+dist/lato-latin-ext-300-normal-VPGGJKJL.woff2
+dist/lato-latin-ext-400-normal-N27NCBWW.woff2
+dist/lato-latin-ext-700-normal-Q2L5DVMW.woff2
+dist/remixicon-NKANDIL5.woff2
+dist/search_data-5144F3E2.js
+dist/sidebar_items-AA658F96.js
+editor_setup.html
+feature_reference.html
+fsm_api_design.html
+fsm_usage.html
+function_types.html
+index.html
+language_spec.html
+lexer_error_format.html
+lsp_smt_user_guide.html
+mcp_integration.html
+pipe_operator.html
+project_overview.html
+readme.html
+search.html
+smt_quick_reference.html
+smt_solver_installation.html
+std_summary.html
+type_system.html
+why_cure.html
+why_smt.html

site/api/404.html

@@ -16,7 +16,7 @@
 
     <script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
     <script src="dist/handlebars.templates-K7URE6B4.js"></script>
-    <script src="dist/sidebar_items-C51205A4.js"></script>
+    <script src="dist/sidebar_items-AA658F96.js"></script>
     <script src="docs_config.js"></script>
     <script async src="dist/html-PVRIOB7F.js"></script>
 

site/api/api-reference.html

@@ -14,7 +14,7 @@
 
     <script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
     <script src="dist/handlebars.templates-K7URE6B4.js"></script>
-    <script src="dist/sidebar_items-C51205A4.js"></script>
+    <script src="dist/sidebar_items-AA658F96.js"></script>
     <script src="docs_config.js"></script>
     <script async src="dist/html-PVRIOB7F.js"></script>
 

site/api/api_reference.html

@@ -14,7 +14,7 @@
 
     <script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
     <script src="dist/handlebars.templates-K7URE6B4.js"></script>
-    <script src="dist/sidebar_items-C51205A4.js"></script>
+    <script src="dist/sidebar_items-AA658F96.js"></script>
     <script src="docs_config.js"></script>
     <script async src="dist/html-PVRIOB7F.js"></script>
 

site/api/cli_usage.html

@@ -14,7 +14,7 @@
 
     <script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
     <script src="dist/handlebars.templates-K7URE6B4.js"></script>
-    <script src="dist/sidebar_items-C51205A4.js"></script>
+    <script src="dist/sidebar_items-AA658F96.js"></script>
     <script src="docs_config.js"></script>
     <script async src="dist/html-PVRIOB7F.js"></script>
 

site/api/cure.epub

@@ -14,7 +14,7 @@
 
     <script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
     <script src="dist/handlebars.templates-K7URE6B4.js"></script>
-    <script src="dist/sidebar_items-C51205A4.js"></script>
+    <script src="dist/sidebar_items-AA658F96.js"></script>
     <script src="docs_config.js"></script>
     <script async src="dist/html-PVRIOB7F.js"></script>
 

site/api/cure_action_compiler.html

@@ -14,7 +14,7 @@
 
     <script src="dist/handlebars.runtime-NWIB6V2M.js"></script>
     <script src="dist/handlebars.templates-K7URE6B4.js"></script>
-    <script src="dist/sidebar_items-C51205A4.js"></script>
+    <script src="dist/sidebar_items-AA658F96.js"></script>
     <script src="docs_config.js"></script>
     <script async src="dist/html-PVRIOB7F.js"></script>
 
@@ -430,7 +430,7 @@ <h1 class="signature" translate="no">compile_file(Filename)</h1>
   </a>
   <span class="text">Examples</span>
 </h2>
-<pre><code class="makeup erlang" translate="no"><span class="nf">compile_file</span><span class="p" data-group-id="0385121597-1">(</span><span class="s">&quot;examples/hello.cure&quot;</span><span class="p" data-group-id="0385121597-1">)</span><span class="p">.</span><span class="w">
+<pre><code class="makeup erlang" translate="no"><span class="nf">compile_file</span><span class="p" data-group-id="3508029104-1">(</span><span class="s">&quot;examples/hello.cure&quot;</span><span class="p" data-group-id="3508029104-1">)</span><span class="p">.</span><span class="w">
 </span><span class="c1">% =&gt; {ok, &quot;_build/ebin/hello.beam&quot;}</span></code></pre>
   </section>
 </section>
@@ -477,16 +477,16 @@ <h1 class="signature" translate="no">compile_file(Filename, Options)</h1>
   <span class="text">Examples</span>
 </h2>
 <pre><code class="makeup erlang" translate="no"><span class="c1">% Compile with verbose output</span><span class="w">
-</span><span class="n">Options</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">#</span><span class="ss">compile_options</span><span class="p" data-group-id="5361668861-1">{</span><span class="ss">verbose</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="ss">true</span><span class="p" data-group-id="5361668861-1">}</span><span class="p">,</span><span class="w">
-</span><span class="nf">compile_file</span><span class="p" data-group-id="5361668861-2">(</span><span class="s">&quot;src/math.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="n">Options</span><span class="p" data-group-id="5361668861-2">)</span><span class="p">.</span><span class="w">
+</span><span class="n">Options</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">#</span><span class="ss">compile_options</span><span class="p" data-group-id="6528215175-1">{</span><span class="ss">verbose</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="ss">true</span><span class="p" data-group-id="6528215175-1">}</span><span class="p">,</span><span class="w">
+</span><span class="nf">compile_file</span><span class="p" data-group-id="6528215175-2">(</span><span class="s">&quot;src/math.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="n">Options</span><span class="p" data-group-id="6528215175-2">)</span><span class="p">.</span><span class="w">
 
 </span><span class="c1">% Compile without optimizations  </span><span class="w">
-</span><span class="n">Options</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">#</span><span class="ss">compile_options</span><span class="p" data-group-id="5361668861-3">{</span><span class="ss">optimize</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="ss">false</span><span class="p" data-group-id="5361668861-3">}</span><span class="p">,</span><span class="w">
-</span><span class="nf">compile_file</span><span class="p" data-group-id="5361668861-4">(</span><span class="s">&quot;debug.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="n">Options</span><span class="p" data-group-id="5361668861-4">)</span><span class="p">.</span><span class="w">
+</span><span class="n">Options</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">#</span><span class="ss">compile_options</span><span class="p" data-group-id="6528215175-3">{</span><span class="ss">optimize</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="ss">false</span><span class="p" data-group-id="6528215175-3">}</span><span class="p">,</span><span class="w">
+</span><span class="nf">compile_file</span><span class="p" data-group-id="6528215175-4">(</span><span class="s">&quot;debug.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="n">Options</span><span class="p" data-group-id="6528215175-4">)</span><span class="p">.</span><span class="w">
 
 </span><span class="c1">% Custom output file</span><span class="w">
-</span><span class="n">Options</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">#</span><span class="ss">compile_options</span><span class="p" data-group-id="5361668861-5">{</span><span class="ss">output_file</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">&quot;custom.beam&quot;</span><span class="p" data-group-id="5361668861-5">}</span><span class="p">,</span><span class="w">
-</span><span class="nf">compile_file</span><span class="p" data-group-id="5361668861-6">(</span><span class="s">&quot;input.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="n">Options</span><span class="p" data-group-id="5361668861-6">)</span><span class="p">.</span></code></pre>
+</span><span class="n">Options</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="o">#</span><span class="ss">compile_options</span><span class="p" data-group-id="6528215175-5">{</span><span class="ss">output_file</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">&quot;custom.beam&quot;</span><span class="p" data-group-id="6528215175-5">}</span><span class="p">,</span><span class="w">
+</span><span class="nf">compile_file</span><span class="p" data-group-id="6528215175-6">(</span><span class="s">&quot;input.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="n">Options</span><span class="p" data-group-id="6528215175-6">)</span><span class="p">.</span></code></pre>
   </section>
 </section>
 <section class="detail" id="compile_file_from_shell/1">
@@ -682,8 +682,8 @@ <h1 class="signature" translate="no">get_module_info/1</h1>
   </a>
   <span class="text">Example</span>
 </h2>
-<pre><code class="makeup erlang" translate="no"><span class="n">AST</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="nc">cure_parser</span><span class="p">:</span><span class="nf">parse_file</span><span class="p" data-group-id="0414722227-1">(</span><span class="s">&quot;MyModule.cure&quot;</span><span class="p" data-group-id="0414722227-1">)</span><span class="p">,</span><span class="w">
-</span><span class="n">Info</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="nf">get_module_info</span><span class="p" data-group-id="0414722227-2">(</span><span class="n">AST</span><span class="p" data-group-id="0414722227-2">)</span><span class="p">,</span><span class="w">
+<pre><code class="makeup erlang" translate="no"><span class="n">AST</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="nc">cure_parser</span><span class="p">:</span><span class="nf">parse_file</span><span class="p" data-group-id="8949626931-1">(</span><span class="s">&quot;MyModule.cure&quot;</span><span class="p" data-group-id="8949626931-1">)</span><span class="p">,</span><span class="w">
+</span><span class="n">Info</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="nf">get_module_info</span><span class="p" data-group-id="8949626931-2">(</span><span class="n">AST</span><span class="p" data-group-id="8949626931-2">)</span><span class="p">,</span><span class="w">
 </span><span class="c1">% =&gt; #{name =&gt; &#39;MyModule&#39;, exports =&gt; [{hello, 1}], ...}</span></code></pre>
   </section>
 </section>
@@ -772,9 +772,9 @@ <h1 class="signature" translate="no">main(Args)</h1>
   <span class="text">Examples</span>
 </h2>
 <pre><code class="makeup erlang" translate="no"><span class="c1">% These calls happen automatically when using the CLI:</span><span class="w">
-</span><span class="nf">main</span><span class="p" data-group-id="9066731106-1">(</span><span class="p" data-group-id="9066731106-2">[</span><span class="s">&quot;input.cure&quot;</span><span class="p" data-group-id="9066731106-2">]</span><span class="p" data-group-id="9066731106-1">)</span><span class="p">.</span><span class="w">
-</span><span class="nf">main</span><span class="p" data-group-id="9066731106-3">(</span><span class="p" data-group-id="9066731106-4">[</span><span class="s">&quot;input.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="s">&quot;-o&quot;</span><span class="p">,</span><span class="w"> </span><span class="s">&quot;output.beam&quot;</span><span class="p" data-group-id="9066731106-4">]</span><span class="p" data-group-id="9066731106-3">)</span><span class="p">.</span><span class="w">
-</span><span class="nf">main</span><span class="p" data-group-id="9066731106-5">(</span><span class="p" data-group-id="9066731106-6">[</span><span class="s">&quot;--help&quot;</span><span class="p" data-group-id="9066731106-6">]</span><span class="p" data-group-id="9066731106-5">)</span><span class="p">.</span></code></pre><h2 id="main/1-error-handling" class="section-heading">
+</span><span class="nf">main</span><span class="p" data-group-id="5167625163-1">(</span><span class="p" data-group-id="5167625163-2">[</span><span class="s">&quot;input.cure&quot;</span><span class="p" data-group-id="5167625163-2">]</span><span class="p" data-group-id="5167625163-1">)</span><span class="p">.</span><span class="w">
+</span><span class="nf">main</span><span class="p" data-group-id="5167625163-3">(</span><span class="p" data-group-id="5167625163-4">[</span><span class="s">&quot;input.cure&quot;</span><span class="p">,</span><span class="w"> </span><span class="s">&quot;-o&quot;</span><span class="p">,</span><span class="w"> </span><span class="s">&quot;output.beam&quot;</span><span class="p" data-group-id="5167625163-4">]</span><span class="p" data-group-id="5167625163-3">)</span><span class="p">.</span><span class="w">
+</span><span class="nf">main</span><span class="p" data-group-id="5167625163-5">(</span><span class="p" data-group-id="5167625163-6">[</span><span class="s">&quot;--help&quot;</span><span class="p" data-group-id="5167625163-6">]</span><span class="p" data-group-id="5167625163-5">)</span><span class="p">.</span></code></pre><h2 id="main/1-error-handling" class="section-heading">
   <a href="#main/1-error-handling" class="hover-link">
     <i class="ri-link-m" aria-hidden="true"></i>
   </a>