diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
index 1d9881a..7e5acc9 100644
--- a/dev/.documenter-siteinfo.json
+++ b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2024-12-16T18:38:24","documenter_version":"1.8.0"}}
\ No newline at end of file
+{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2024-12-20T04:10:43","documenter_version":"1.8.0"}}
\ No newline at end of file
diff --git a/dev/api/index.html b/dev/api/index.html
index aea4b01..4784732 100644
--- a/dev/api/index.html
+++ b/dev/api/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");
@@ -464,15 +464,15 @@
 (@o _[Colon(), 1][2])
 
 julia&gt; @varname x[:, 1][1+1]
-x[:, 1][2]</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L7-L33">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.getsym" href="#AbstractPPL.getsym"><code>AbstractPPL.getsym</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">getsym(vn::VarName)</code></pre><p>Return the symbol of the Julia variable used to generate <code>vn</code>.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; getsym(@varname(x[1][2:3]))
+x[:, 1][2]</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L7-L33">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.getsym" href="#AbstractPPL.getsym"><code>AbstractPPL.getsym</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">getsym(vn::VarName)</code></pre><p>Return the symbol of the Julia variable used to generate <code>vn</code>.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; getsym(@varname(x[1][2:3]))
 :x
 
 julia&gt; getsym(@varname(y))
-:y</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L93-L107">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.getoptic" href="#AbstractPPL.getoptic"><code>AbstractPPL.getoptic</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">getoptic(vn::VarName)</code></pre><p>Return the optic of the Julia variable used to generate <code>vn</code>.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; getoptic(@varname(x[1][2:3]))
+:y</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L93-L107">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.getoptic" href="#AbstractPPL.getoptic"><code>AbstractPPL.getoptic</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">getoptic(vn::VarName)</code></pre><p>Return the optic of the Julia variable used to generate <code>vn</code>.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; getoptic(@varname(x[1][2:3]))
 (@o _[1][2:3])
 
 julia&gt; getoptic(@varname(y))
-identity (generic function with 1 method)</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L110-L124">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.inspace" href="#AbstractPPL.inspace"><code>AbstractPPL.inspace</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">inspace(vn::Union{VarName, Symbol}, space::Tuple)</code></pre><p>Check whether <code>vn</code>&#39;s variable symbol is in <code>space</code>.  The empty tuple counts as the &quot;universal space&quot; containing all variables. Subsumption (see <a href="#AbstractPPL.subsumes"><code>subsumes</code></a>) is respected.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; inspace(@varname(x[1][2:3]), ())
+identity (generic function with 1 method)</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L110-L124">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.inspace" href="#AbstractPPL.inspace"><code>AbstractPPL.inspace</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">inspace(vn::Union{VarName, Symbol}, space::Tuple)</code></pre><p>Check whether <code>vn</code>&#39;s variable symbol is in <code>space</code>.  The empty tuple counts as the &quot;universal space&quot; containing all variables. Subsumption (see <a href="#AbstractPPL.subsumes"><code>subsumes</code></a>) is respected.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; inspace(@varname(x[1][2:3]), ())
 true
 
 julia&gt; inspace(@varname(x[1][2:3]), (:x,))
@@ -488,7 +488,7 @@
 true
 
 julia&gt; inspace(@varname(x[1][2:3]), (@varname(x[1:10]),))
-true</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L214-L241">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.subsumes" href="#AbstractPPL.subsumes"><code>AbstractPPL.subsumes</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">subsumes(u::VarName, v::VarName)</code></pre><p>Check whether the variable name <code>v</code> describes a sub-range of the variable <code>u</code>.  Supported indexing:</p><ul><li>Scalar:</li></ul><p>```jldoctest   julia&gt; subsumes(@varname(x), @varname(x[1, 2]))   true</p><p>julia&gt; subsumes(@varname(x[1, 2]), @varname(x[1, 2][3]))   true   ```</p><ul><li>Array of scalar: basically everything that fulfills <code>issubset</code>.</li></ul><p>```jldoctest   julia&gt; subsumes(@varname(x[[1, 2], 3]), @varname(x[1, 3]))   true</p><p>julia&gt; subsumes(@varname(x[1:3]), @varname(x[2][1]))   true   ```</p><ul><li>Slices:</li></ul><p><code>jldoctest   julia&gt; subsumes(@varname(x[2, :]), @varname(x[2, 10][1]))   true</code></p><p>Currently <em>not</em> supported are: </p><ul><li>Boolean indexing, literal <code>CartesianIndex</code> (these could be added, though)</li><li>Linear indexing of multidimensional arrays: <code>x[4]</code> does not subsume <code>x[2, 2]</code> for a matrix <code>x</code></li><li>Trailing ones: <code>x[2, 1]</code> does not subsume <code>x[2]</code> for a vector <code>x</code></li></ul></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L250-L288">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.subsumedby" href="#AbstractPPL.subsumedby"><code>AbstractPPL.subsumedby</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">subsumedby(t, u)</code></pre><p>True if <code>t</code> is subsumed by <code>u</code>, i.e., if <code>subsumes(u, t)</code> is true.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L330-L334">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.vsym" href="#AbstractPPL.vsym"><code>AbstractPPL.vsym</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">vsym(expr)</code></pre><p>Return name part of the <a href="#AbstractPPL.@varname"><code>@varname</code></a>-compatible expression <code>expr</code> as a symbol for input of the <a href="#AbstractPPL.VarName"><code>VarName</code></a> constructor.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L752-L757">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.@varname" href="#AbstractPPL.@varname"><code>AbstractPPL.@varname</code></a> — <span class="docstring-category">Macro</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">@varname(expr, concretize=false)</code></pre><p>A macro that returns an instance of <a href="#AbstractPPL.VarName"><code>VarName</code></a> given a symbol or indexing expression <code>expr</code>.</p><p>If <code>concretize</code> is <code>true</code>, the resulting expression will be wrapped in a <code>concretize()</code> call.</p><p>Note that expressions involving dynamic indexing, i.e. <code>begin</code> and/or <code>end</code>, will always need to be concretized as <code>VarName</code> only supports non-dynamic indexing as determined by <code>is_static_optic</code>. See examples below.</p><p><strong>Examples</strong></p><p><strong>Dynamic indexing</strong></p><pre><code class="language-julia-repl hljs">julia&gt; x = (a = [1.0 2.0; 3.0 4.0; 5.0 6.0], );
+true</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L214-L241">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.subsumes" href="#AbstractPPL.subsumes"><code>AbstractPPL.subsumes</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">subsumes(u::VarName, v::VarName)</code></pre><p>Check whether the variable name <code>v</code> describes a sub-range of the variable <code>u</code>.  Supported indexing:</p><ul><li>Scalar:</li></ul><p>```jldoctest   julia&gt; subsumes(@varname(x), @varname(x[1, 2]))   true</p><p>julia&gt; subsumes(@varname(x[1, 2]), @varname(x[1, 2][3]))   true   ```</p><ul><li>Array of scalar: basically everything that fulfills <code>issubset</code>.</li></ul><p>```jldoctest   julia&gt; subsumes(@varname(x[[1, 2], 3]), @varname(x[1, 3]))   true</p><p>julia&gt; subsumes(@varname(x[1:3]), @varname(x[2][1]))   true   ```</p><ul><li>Slices:</li></ul><p><code>jldoctest   julia&gt; subsumes(@varname(x[2, :]), @varname(x[2, 10][1]))   true</code></p><p>Currently <em>not</em> supported are: </p><ul><li>Boolean indexing, literal <code>CartesianIndex</code> (these could be added, though)</li><li>Linear indexing of multidimensional arrays: <code>x[4]</code> does not subsume <code>x[2, 2]</code> for a matrix <code>x</code></li><li>Trailing ones: <code>x[2, 1]</code> does not subsume <code>x[2]</code> for a vector <code>x</code></li></ul></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L250-L288">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.subsumedby" href="#AbstractPPL.subsumedby"><code>AbstractPPL.subsumedby</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">subsumedby(t, u)</code></pre><p>True if <code>t</code> is subsumed by <code>u</code>, i.e., if <code>subsumes(u, t)</code> is true.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L330-L334">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.vsym" href="#AbstractPPL.vsym"><code>AbstractPPL.vsym</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">vsym(expr)</code></pre><p>Return name part of the <a href="#AbstractPPL.@varname"><code>@varname</code></a>-compatible expression <code>expr</code> as a symbol for input of the <a href="#AbstractPPL.VarName"><code>VarName</code></a> constructor.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L752-L757">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.@varname" href="#AbstractPPL.@varname"><code>AbstractPPL.@varname</code></a> — <span class="docstring-category">Macro</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">@varname(expr, concretize=false)</code></pre><p>A macro that returns an instance of <a href="#AbstractPPL.VarName"><code>VarName</code></a> given a symbol or indexing expression <code>expr</code>.</p><p>If <code>concretize</code> is <code>true</code>, the resulting expression will be wrapped in a <code>concretize()</code> call.</p><p>Note that expressions involving dynamic indexing, i.e. <code>begin</code> and/or <code>end</code>, will always need to be concretized as <code>VarName</code> only supports non-dynamic indexing as determined by <code>is_static_optic</code>. See examples below.</p><p><strong>Examples</strong></p><p><strong>Dynamic indexing</strong></p><pre><code class="language-julia-repl hljs">julia&gt; x = (a = [1.0 2.0; 3.0 4.0; 5.0 6.0], );
 
 julia&gt; @varname(x.a[1:end, end][:], true)
 x.a[1:3, 2][:]
@@ -542,21 +542,21 @@
 a.x[1]
 
 julia&gt; @varname(b.$name.x[1])
-b.a.x[1]</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L538-L630">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.@vsym" href="#AbstractPPL.@vsym"><code>AbstractPPL.@vsym</code></a> — <span class="docstring-category">Macro</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">@vsym(expr)</code></pre><p>A macro that returns the variable symbol given the input variable expression <code>expr</code>. For example, <code>@vsym x[1]</code> returns <code>:x</code>.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; @vsym x
+b.a.x[1]</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L538-L630">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.@vsym" href="#AbstractPPL.@vsym"><code>AbstractPPL.@vsym</code></a> — <span class="docstring-category">Macro</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">@vsym(expr)</code></pre><p>A macro that returns the variable symbol given the input variable expression <code>expr</code>. For example, <code>@vsym x[1]</code> returns <code>:x</code>.</p><p><strong>Examples</strong></p><pre><code class="language-julia-repl hljs">julia&gt; @vsym x
 :x
 
 julia&gt; @vsym x[1,1][2,3]
 :x
 
 julia&gt; @vsym x[end]
-:x</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L729-L747">source</a></section></article><h2 id="VarName-serialisation"><a class="docs-heading-anchor" href="#VarName-serialisation">VarName serialisation</a><a id="VarName-serialisation-1"></a><a class="docs-heading-anchor-permalink" href="#VarName-serialisation" title="Permalink"></a></h2><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.index_to_dict" href="#AbstractPPL.index_to_dict"><code>AbstractPPL.index_to_dict</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">index_to_dict(::Integer)
+:x</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L729-L747">source</a></section></article><h2 id="VarName-serialisation"><a class="docs-heading-anchor" href="#VarName-serialisation">VarName serialisation</a><a id="VarName-serialisation-1"></a><a class="docs-heading-anchor-permalink" href="#VarName-serialisation" title="Permalink"></a></h2><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.index_to_dict" href="#AbstractPPL.index_to_dict"><code>AbstractPPL.index_to_dict</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">index_to_dict(::Integer)
 index_to_dict(::AbstractVector{Int})
 index_to_dict(::UnitRange)
 index_to_dict(::StepRange)
 index_to_dict(::Colon)
 index_to_dict(::ConcretizedSlice{T, Base.OneTo{I}}) where {T, I}
-index_to_dict(::Tuple)</code></pre><p>Convert an index <code>i</code> to a dictionary representation.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L780-L790">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.dict_to_index" href="#AbstractPPL.dict_to_index"><code>AbstractPPL.dict_to_index</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">dict_to_index(dict)
-dict_to_index(symbol_val, dict)</code></pre><p>Convert a dictionary representation of an index <code>dict</code> to an index.</p><p>Users can extend the functionality of <code>dict_to_index</code> (and hence <code>VarName</code> de/serialisation) by extending this method along with <a href="#AbstractPPL.index_to_dict"><code>index_to_dict</code></a>. Specifically, suppose you have a custom index type <code>MyIndexType</code> and you want to be able to de/serialise a <code>VarName</code> containing this index type. You should then implement the following two methods:</p><ol><li><p><code>AbstractPPL.index_to_dict(i::MyModule.MyIndexType)</code> should return a dictionary representation of the index <code>i</code>. This dictionary must contain the key <code>&quot;type&quot;</code>, and the corresponding value must be a string that uniquely identifies the index type. Generally, it makes sense to use the name of the type (perhaps prefixed with module qualifiers) as this value to avoid clashes. The remainder of the dictionary can have any structure you like.</p></li><li><p>Suppose the value of <code>index_to_dict(i)[&quot;type&quot;]</code> is <code>&quot;MyModule.MyIndexType&quot;</code>. You should then implement the corresponding method <code>AbstractPPL.dict_to_index(::Val{Symbol(&quot;MyModule.MyIndexType&quot;)}, dict)</code>, which should take the dictionary representation as the second argument and return the original <code>MyIndexType</code> object.</p></li></ol><p>To see an example of this in action, you can look in the the AbstractPPL test suite, which contains a test for serialising OffsetArrays.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L815-L842">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.varname_to_string" href="#AbstractPPL.varname_to_string"><code>AbstractPPL.varname_to_string</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">varname_to_string(vn::VarName)</code></pre><p>Convert a <code>VarName</code> as a string, via an intermediate dictionary. This differs from <code>string(vn)</code> in that concretised slices are faithfully represented (rather than being pretty-printed as colons).</p><p>For <code>VarName</code>s which index into an array, this function will only work if the indices can be serialised. This is true for all standard Julia index types, but if you are using custom index types, you will need to implement the <code>index_to_dict</code> and <code>dict_to_index</code> methods for those types. See the documentation of <a href="#AbstractPPL.dict_to_index"><code>dict_to_index</code></a> for instructions on how to do this.</p><pre><code class="language-julia-repl hljs">julia&gt; varname_to_string(@varname(x))
+index_to_dict(::Tuple)</code></pre><p>Convert an index <code>i</code> to a dictionary representation.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L780-L790">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.dict_to_index" href="#AbstractPPL.dict_to_index"><code>AbstractPPL.dict_to_index</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">dict_to_index(dict)
+dict_to_index(symbol_val, dict)</code></pre><p>Convert a dictionary representation of an index <code>dict</code> to an index.</p><p>Users can extend the functionality of <code>dict_to_index</code> (and hence <code>VarName</code> de/serialisation) by extending this method along with <a href="#AbstractPPL.index_to_dict"><code>index_to_dict</code></a>. Specifically, suppose you have a custom index type <code>MyIndexType</code> and you want to be able to de/serialise a <code>VarName</code> containing this index type. You should then implement the following two methods:</p><ol><li><p><code>AbstractPPL.index_to_dict(i::MyModule.MyIndexType)</code> should return a dictionary representation of the index <code>i</code>. This dictionary must contain the key <code>&quot;type&quot;</code>, and the corresponding value must be a string that uniquely identifies the index type. Generally, it makes sense to use the name of the type (perhaps prefixed with module qualifiers) as this value to avoid clashes. The remainder of the dictionary can have any structure you like.</p></li><li><p>Suppose the value of <code>index_to_dict(i)[&quot;type&quot;]</code> is <code>&quot;MyModule.MyIndexType&quot;</code>. You should then implement the corresponding method <code>AbstractPPL.dict_to_index(::Val{Symbol(&quot;MyModule.MyIndexType&quot;)}, dict)</code>, which should take the dictionary representation as the second argument and return the original <code>MyIndexType</code> object.</p></li></ol><p>To see an example of this in action, you can look in the the AbstractPPL test suite, which contains a test for serialising OffsetArrays.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L815-L842">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.varname_to_string" href="#AbstractPPL.varname_to_string"><code>AbstractPPL.varname_to_string</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">varname_to_string(vn::VarName)</code></pre><p>Convert a <code>VarName</code> as a string, via an intermediate dictionary. This differs from <code>string(vn)</code> in that concretised slices are faithfully represented (rather than being pretty-printed as colons).</p><p>For <code>VarName</code>s which index into an array, this function will only work if the indices can be serialised. This is true for all standard Julia index types, but if you are using custom index types, you will need to implement the <code>index_to_dict</code> and <code>dict_to_index</code> methods for those types. See the documentation of <a href="#AbstractPPL.dict_to_index"><code>dict_to_index</code></a> for instructions on how to do this.</p><pre><code class="language-julia-repl hljs">julia&gt; varname_to_string(@varname(x))
 &quot;{\&quot;optic\&quot;:{\&quot;type\&quot;:\&quot;identity\&quot;},\&quot;sym\&quot;:\&quot;x\&quot;}&quot;
 
 julia&gt; varname_to_string(@varname(x.a))
@@ -566,5 +566,5 @@
 &quot;{\&quot;optic\&quot;:{\&quot;indices\&quot;:{\&quot;values\&quot;:[{\&quot;type\&quot;:\&quot;Base.Colon\&quot;}],\&quot;type\&quot;:\&quot;Base.Tuple\&quot;},\&quot;type\&quot;:\&quot;index\&quot;},\&quot;sym\&quot;:\&quot;y\&quot;}&quot;
 
 julia&gt; y = ones(2); varname_to_string(@varname(y[:], true))
-&quot;{\&quot;optic\&quot;:{\&quot;indices\&quot;:{\&quot;values\&quot;:[{\&quot;range\&quot;:{\&quot;stop\&quot;:2,\&quot;type\&quot;:\&quot;Base.OneTo\&quot;},\&quot;type\&quot;:\&quot;AbstractPPL.ConcretizedSlice\&quot;}],\&quot;type\&quot;:\&quot;Base.Tuple\&quot;},\&quot;type\&quot;:\&quot;index\&quot;},\&quot;sym\&quot;:\&quot;y\&quot;}&quot;</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L903-L929">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.string_to_varname" href="#AbstractPPL.string_to_varname"><code>AbstractPPL.string_to_varname</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">string_to_varname(str::AbstractString)</code></pre><p>Convert a string representation of a <code>VarName</code> back to a <code>VarName</code>. The string should have been generated by <code>varname_to_string</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/varname.jl#L932-L937">source</a></section></article><h2 id="Abstract-model-functions"><a class="docs-heading-anchor" href="#Abstract-model-functions">Abstract model functions</a><a id="Abstract-model-functions-1"></a><a class="docs-heading-anchor-permalink" href="#Abstract-model-functions" title="Permalink"></a></h2><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.AbstractProbabilisticProgram" href="#AbstractPPL.AbstractProbabilisticProgram"><code>AbstractPPL.AbstractProbabilisticProgram</code></a> — <span class="docstring-category">Type</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">AbstractProbabilisticProgram</code></pre><p>Common base type for models expressed as probabilistic programs.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/abstractprobprog.jl#L6-L10">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.condition" href="#AbstractPPL.condition"><code>AbstractPPL.condition</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">condition(model, observations)</code></pre><p>Condition the generative model <code>model</code> on some observed data, creating a new model of the (possibly unnormalized) posterior distribution over them.</p><p><code>observations</code> can be of any supported internal trace type, or a fixed probability expression.</p><p>The invariant </p><pre><code class="nohighlight hljs">m = decondition(condition(m, obs))</code></pre><p>should hold for generative models <code>m</code> and arbitrary <code>obs</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/abstractprobprog.jl#L44-L59">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.decondition" href="#AbstractPPL.decondition"><code>AbstractPPL.decondition</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">decondition(conditioned_model)</code></pre><p>Remove the conditioning (i.e., observation data) from <code>conditioned_model</code>, turning it into a generative model over prior and observed variables.</p><p>The invariant </p><pre><code class="nohighlight hljs">m == condition(decondition(m), obs)</code></pre><p>should hold for models <code>m</code> with conditioned variables <code>obs</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/abstractprobprog.jl#L28-L41">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.fix" href="#AbstractPPL.fix"><code>AbstractPPL.fix</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">fix(model, params)</code></pre><p>Fix the values of parameters specified in <code>params</code> within the probabilistic model <code>model</code>.  This operation is equivalent to treating the fixed parameters as being drawn from a point mass  distribution centered at the values specified in <code>params</code>. Thus these parameters no longer contribute to the accumulated log density. </p><p>Conceptually, this is similar to Pearl&#39;s do-operator in causal inference, where we intervene  on variables by setting them to specific values, effectively cutting off their dependencies  on their usual causes in the model.</p><p>The invariant</p><pre><code class="nohighlight hljs">m == unfix(fix(m, params))</code></pre><p>should hold for any model <code>m</code> and parameters <code>params</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/abstractprobprog.jl#L62-L81">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.unfix" href="#AbstractPPL.unfix"><code>AbstractPPL.unfix</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">unfix(model)</code></pre><p>Remove any fixed parameters from the model <code>model</code>, returning a new model without the fixed parameters.</p><p>This function reverses the effect of <code>fix</code> by removing parameter constraints that were previously set. It returns a new model where all previously fixed parameters are allowed to vary according to their  original distributions in the model.</p><p>The invariant</p><pre><code class="nohighlight hljs">m == unfix(fix(m, params))</code></pre><p>should hold for any model <code>m</code> and parameters <code>params</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/abstractprobprog.jl#L84-L100">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="DensityInterface.logdensityof" href="#DensityInterface.logdensityof"><code>DensityInterface.logdensityof</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">logdensityof(model, trace)</code></pre><p>Evaluate the (possibly unnormalized) density of the model specified by the probabilistic program in <code>model</code>, at specific values for the random variables given through <code>trace</code>.</p><p><code>trace</code> can be of any supported internal trace type, or a fixed probability expression.</p><p><code>logdensityof</code> should interact with conditioning and deconditioning in the way required by probability theory.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/abstractprobprog.jl#L15-L25">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.AbstractContext" href="#AbstractPPL.AbstractContext"><code>AbstractPPL.AbstractContext</code></a> — <span class="docstring-category">Type</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">AbstractContext</code></pre><p>Common base type for evaluation contexts.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/evaluate.jl#L1-L6">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.evaluate!!" href="#AbstractPPL.evaluate!!"><code>AbstractPPL.evaluate!!</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><p>evaluate!!</p><p>General API for model operations, e.g. prior evaluation, log density, log joint etc.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/evaluate.jl#L8-L13">source</a></section></article><h2 id="Abstract-traces"><a class="docs-heading-anchor" href="#Abstract-traces">Abstract traces</a><a id="Abstract-traces-1"></a><a class="docs-heading-anchor-permalink" href="#Abstract-traces" title="Permalink"></a></h2><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.AbstractModelTrace" href="#AbstractPPL.AbstractModelTrace"><code>AbstractPPL.AbstractModelTrace</code></a> — <span class="docstring-category">Type</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">AbstractModelTrace</code></pre><p>Common base class for various trace or &quot;variable info&quot; types.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/f1ffda114137b196559b17655d257d35b4cb6f71/src/abstractmodeltrace.jl#L1-L5">source</a></section></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../">« Home</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.8.0 on <span class="colophon-date" title="Monday 16 December 2024 18:38">Monday 16 December 2024</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+&quot;{\&quot;optic\&quot;:{\&quot;indices\&quot;:{\&quot;values\&quot;:[{\&quot;range\&quot;:{\&quot;stop\&quot;:2,\&quot;type\&quot;:\&quot;Base.OneTo\&quot;},\&quot;type\&quot;:\&quot;AbstractPPL.ConcretizedSlice\&quot;}],\&quot;type\&quot;:\&quot;Base.Tuple\&quot;},\&quot;type\&quot;:\&quot;index\&quot;},\&quot;sym\&quot;:\&quot;y\&quot;}&quot;</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L903-L929">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.string_to_varname" href="#AbstractPPL.string_to_varname"><code>AbstractPPL.string_to_varname</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">string_to_varname(str::AbstractString)</code></pre><p>Convert a string representation of a <code>VarName</code> back to a <code>VarName</code>. The string should have been generated by <code>varname_to_string</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/varname.jl#L932-L937">source</a></section></article><h2 id="Abstract-model-functions"><a class="docs-heading-anchor" href="#Abstract-model-functions">Abstract model functions</a><a id="Abstract-model-functions-1"></a><a class="docs-heading-anchor-permalink" href="#Abstract-model-functions" title="Permalink"></a></h2><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.AbstractProbabilisticProgram" href="#AbstractPPL.AbstractProbabilisticProgram"><code>AbstractPPL.AbstractProbabilisticProgram</code></a> — <span class="docstring-category">Type</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">AbstractProbabilisticProgram</code></pre><p>Common base type for models expressed as probabilistic programs.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/abstractprobprog.jl#L6-L10">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.condition" href="#AbstractPPL.condition"><code>AbstractPPL.condition</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">condition(model, observations)</code></pre><p>Condition the generative model <code>model</code> on some observed data, creating a new model of the (possibly unnormalized) posterior distribution over them.</p><p><code>observations</code> can be of any supported internal trace type, or a fixed probability expression.</p><p>The invariant </p><pre><code class="nohighlight hljs">m = decondition(condition(m, obs))</code></pre><p>should hold for generative models <code>m</code> and arbitrary <code>obs</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/abstractprobprog.jl#L44-L59">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.decondition" href="#AbstractPPL.decondition"><code>AbstractPPL.decondition</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">decondition(conditioned_model)</code></pre><p>Remove the conditioning (i.e., observation data) from <code>conditioned_model</code>, turning it into a generative model over prior and observed variables.</p><p>The invariant </p><pre><code class="nohighlight hljs">m == condition(decondition(m), obs)</code></pre><p>should hold for models <code>m</code> with conditioned variables <code>obs</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/abstractprobprog.jl#L28-L41">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.fix" href="#AbstractPPL.fix"><code>AbstractPPL.fix</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">fix(model, params)</code></pre><p>Fix the values of parameters specified in <code>params</code> within the probabilistic model <code>model</code>.  This operation is equivalent to treating the fixed parameters as being drawn from a point mass  distribution centered at the values specified in <code>params</code>. Thus these parameters no longer contribute to the accumulated log density. </p><p>Conceptually, this is similar to Pearl&#39;s do-operator in causal inference, where we intervene  on variables by setting them to specific values, effectively cutting off their dependencies  on their usual causes in the model.</p><p>The invariant</p><pre><code class="nohighlight hljs">m == unfix(fix(m, params))</code></pre><p>should hold for any model <code>m</code> and parameters <code>params</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/abstractprobprog.jl#L62-L81">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.unfix" href="#AbstractPPL.unfix"><code>AbstractPPL.unfix</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">unfix(model)</code></pre><p>Remove any fixed parameters from the model <code>model</code>, returning a new model without the fixed parameters.</p><p>This function reverses the effect of <code>fix</code> by removing parameter constraints that were previously set. It returns a new model where all previously fixed parameters are allowed to vary according to their  original distributions in the model.</p><p>The invariant</p><pre><code class="nohighlight hljs">m == unfix(fix(m, params))</code></pre><p>should hold for any model <code>m</code> and parameters <code>params</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/abstractprobprog.jl#L84-L100">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="DensityInterface.logdensityof" href="#DensityInterface.logdensityof"><code>DensityInterface.logdensityof</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">logdensityof(model, trace)</code></pre><p>Evaluate the (possibly unnormalized) density of the model specified by the probabilistic program in <code>model</code>, at specific values for the random variables given through <code>trace</code>.</p><p><code>trace</code> can be of any supported internal trace type, or a fixed probability expression.</p><p><code>logdensityof</code> should interact with conditioning and deconditioning in the way required by probability theory.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/abstractprobprog.jl#L15-L25">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.AbstractContext" href="#AbstractPPL.AbstractContext"><code>AbstractPPL.AbstractContext</code></a> — <span class="docstring-category">Type</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">AbstractContext</code></pre><p>Common base type for evaluation contexts.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/evaluate.jl#L1-L6">source</a></section></article><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.evaluate!!" href="#AbstractPPL.evaluate!!"><code>AbstractPPL.evaluate!!</code></a> — <span class="docstring-category">Function</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><p>evaluate!!</p><p>General API for model operations, e.g. prior evaluation, log density, log joint etc.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/evaluate.jl#L8-L13">source</a></section></article><h2 id="Abstract-traces"><a class="docs-heading-anchor" href="#Abstract-traces">Abstract traces</a><a id="Abstract-traces-1"></a><a class="docs-heading-anchor-permalink" href="#Abstract-traces" title="Permalink"></a></h2><article class="docstring"><header><a class="docstring-article-toggle-button fa-solid fa-chevron-down" href="javascript:;" title="Collapse docstring"></a><a class="docstring-binding" id="AbstractPPL.AbstractModelTrace" href="#AbstractPPL.AbstractModelTrace"><code>AbstractPPL.AbstractModelTrace</code></a> — <span class="docstring-category">Type</span><span class="is-flex-grow-1 docstring-article-toggle-button" title="Collapse docstring"></span></header><section><div><pre><code class="language-julia hljs">AbstractModelTrace</code></pre><p>Common base class for various trace or &quot;variable info&quot; types.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/TuringLang/AbstractPPL.jl/blob/310c50d4529e2e873a04256eabbe044a22de48ee/src/abstractmodeltrace.jl#L1-L5">source</a></section></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../">« Home</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.8.0 on <span class="colophon-date" title="Friday 20 December 2024 04:10">Friday 20 December 2024</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
 
diff --git a/dev/index.html b/dev/index.html
index d7d4eb6..e38623e 100644
--- a/dev/index.html
+++ b/dev/index.html
@@ -375,7 +375,7 @@
             </g>
         </svg>
     </a>
-    <span class="ext-menu-toggle">&#9776;</span>
+    <span class="ext-menu-toggle"><body>#9776;</span>
 </nav>
 <script>
     document.addEventListener("DOMContentLoaded", function () {
@@ -413,7 +413,7 @@
         // Close menus if clicked outside
         document.addEventListener("click", (event) => {
             if (
-                !navLinks.contains(event.target) &&
+                !navLinks.contains(event.target) <body><body>
                 !menuToggle.contains(event.target)
             ) {
                 navLinks.classList.remove("show");
@@ -457,5 +457,5 @@
     });
 </script>
 <!-- NAVBAR END -->
-<div id="documenter"><nav class="docs-sidebar"><div class="docs-package-name"><span class="docs-autofit"><a href>AbstractPPL</a></span></div><button class="docs-search-query input is-rounded is-small is-clickable my-2 mx-auto py-1 px-2" id="documenter-search-query">Search docs (Ctrl + /)</button><ul class="docs-menu"><li class="is-active"><a class="tocitem" href>Home</a></li><li><a class="tocitem" href="api/">API</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><a class="docs-sidebar-button docs-navbar-link fa-solid fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href>Home</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>Home</a></li></ul></nav><div class="docs-right"><a class="docs-navbar-link" href="https://github.com/TuringLang/AbstractPPL.jl" title="View the repository on GitHub"><span class="docs-icon fa-brands"></span><span class="docs-label is-hidden-touch">GitHub</span></a><a class="docs-navbar-link" href="https://github.com/TuringLang/AbstractPPL.jl/blob/main/docs/src/index.md" title="Edit source on GitHub"><span class="docs-icon fa-solid"></span></a><a class="docs-settings-button docs-navbar-link fa-solid fa-gear" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-article-toggle-button fa-solid fa-chevron-up" id="documenter-article-toggle-button" href="javascript:;" title="Collapse all docstrings"></a></div></header><article class="content" id="documenter-page"><h1 id="AbstractPPL.jl"><a class="docs-heading-anchor" href="#AbstractPPL.jl">AbstractPPL.jl</a><a id="AbstractPPL.jl-1"></a><a class="docs-heading-anchor-permalink" href="#AbstractPPL.jl" title="Permalink"></a></h1><p>A lightweight package containing interfaces and associated APIs for modelling languages for probabilistic programming.</p></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="api/">API »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.8.0 on <span class="colophon-date" title="Monday 16 December 2024 18:38">Monday 16 December 2024</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+<div id="documenter"><nav class="docs-sidebar"><div class="docs-package-name"><span class="docs-autofit"><a href>AbstractPPL</a></span></div><button class="docs-search-query input is-rounded is-small is-clickable my-2 mx-auto py-1 px-2" id="documenter-search-query">Search docs (Ctrl + /)</button><ul class="docs-menu"><li class="is-active"><a class="tocitem" href>Home</a></li><li><a class="tocitem" href="api/">API</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><a class="docs-sidebar-button docs-navbar-link fa-solid fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href>Home</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>Home</a></li></ul></nav><div class="docs-right"><a class="docs-navbar-link" href="https://github.com/TuringLang/AbstractPPL.jl" title="View the repository on GitHub"><span class="docs-icon fa-brands"></span><span class="docs-label is-hidden-touch">GitHub</span></a><a class="docs-navbar-link" href="https://github.com/TuringLang/AbstractPPL.jl/blob/main/docs/src/index.md" title="Edit source on GitHub"><span class="docs-icon fa-solid"></span></a><a class="docs-settings-button docs-navbar-link fa-solid fa-gear" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-article-toggle-button fa-solid fa-chevron-up" id="documenter-article-toggle-button" href="javascript:;" title="Collapse all docstrings"></a></div></header><article class="content" id="documenter-page"><h1 id="AbstractPPL.jl"><a class="docs-heading-anchor" href="#AbstractPPL.jl">AbstractPPL.jl</a><a id="AbstractPPL.jl-1"></a><a class="docs-heading-anchor-permalink" href="#AbstractPPL.jl" title="Permalink"></a></h1><p>A lightweight package containing interfaces and associated APIs for modelling languages for probabilistic programming.</p></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="api/">API »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.8.0 on <span class="colophon-date" title="Friday 20 December 2024 04:10">Friday 20 December 2024</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
 
diff --git a/dev/objects.inv b/dev/objects.inv
index 108d80f..f7fc41e 100644
--- a/dev/objects.inv
+++ b/dev/objects.inv
@@ -1,6 +1,6 @@
 # Sphinx inventory version 2
 # Project: AbstractPPL
-# Version: 0.10.0
+# Version: 0.10.1
 # The remainder of this file is compressed using zlib.
 x����o� ���4[�t�SOk�Úl��e��ih`S���JWZ11F��{||�E&(��6tCe���wYABjv�i�h����HX�b�3M��#9ɀ{��$��6�F��`�Tz��Y���K,�k,X�WI
 �ȝ��s;�a�
