Improved web example

docs/sage/lir/trait.GetType.html

@@ -12,5 +12,5 @@
 recursion depth to prevent a possible stack overflow.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="tymethod.substitute" class="method"><a class="src rightside" href="../../src/sage/lir/types/inference.rs.html#29">source</a><h4 class="code-header">fn <a href="#tymethod.substitute" class="fn">substitute</a>(&amp;mut self, name: &amp;<a class="primitive" href="https://doc.rust-lang.org/1.76.0/std/primitive.str.html">str</a>, ty: &amp;<a class="enum" href="enum.Type.html" title="enum sage::lir::Type">Type</a>)</h4></section></summary><div class="docblock"><p>Substitute a type for a given name in the environment.</p>
 </div></details></div><h2 id="provided-methods" class="section-header">Provided Methods<a href="#provided-methods" class="anchor">§</a></h2><div class="methods"><details class="toggle method-toggle" open><summary><section id="method.get_type" class="method"><a class="src rightside" href="../../src/sage/lir/types/inference.rs.html#20-22">source</a><h4 class="code-header">fn <a href="#method.get_type" class="fn">get_type</a>(&amp;self, env: &amp;<a class="struct" href="struct.Env.html" title="struct sage::lir::Env">Env</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.76.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;<a class="enum" href="enum.Type.html" title="enum sage::lir::Type">Type</a>, <a class="enum" href="enum.Error.html" title="enum sage::lir::Error">Error</a>&gt;</h4></section></summary><div class="docblock"><p>Get the type associated with a value under a given environment.</p>
-</div></details><section id="method.substitute_types" class="method"><a class="src rightside" href="../../src/sage/lir/types/inference.rs.html#31-35">source</a><h4 class="code-header">fn <a href="#method.substitute_types" class="fn">substitute_types</a>(&amp;mut self, names: &amp;[<a class="struct" href="https://doc.rust-lang.org/1.76.0/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>], types: &amp;[<a class="enum" href="enum.Type.html" title="enum sage::lir::Type">Type</a>])</h4></section></div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-GetType-for-ConstExpr" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/const_expr.rs.html#583-1018">source</a><a href="#impl-GetType-for-ConstExpr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="enum" href="enum.ConstExpr.html" title="enum sage::lir::ConstExpr">ConstExpr</a></h3></section><section id="impl-GetType-for-Expr" class="impl"><a class="src rightside" href="../../src/sage/lir/types/inference.rs.html#39-567">source</a><a href="#impl-GetType-for-Expr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="enum" href="enum.Expr.html" title="enum sage::lir::Expr">Expr</a></h3></section><div class="docblock"><p>Infer the type associated with an expression under a given environment.</p>
-</div><section id="impl-GetType-for-CoreBuiltin" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/builtin.rs.html#33-48">source</a><a href="#impl-GetType-for-CoreBuiltin" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.CoreBuiltin.html" title="struct sage::lir::CoreBuiltin">CoreBuiltin</a></h3></section><section id="impl-GetType-for-FFIProcedure" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/ffi.rs.html#45-56">source</a><a href="#impl-GetType-for-FFIProcedure" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.FFIProcedure.html" title="struct sage::lir::FFIProcedure">FFIProcedure</a></h3></section><section id="impl-GetType-for-PolyProcedure" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/poly.rs.html#219-245">source</a><a href="#impl-GetType-for-PolyProcedure" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.PolyProcedure.html" title="struct sage::lir::PolyProcedure">PolyProcedure</a></h3></section><section id="impl-GetType-for-Procedure" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/mono.rs.html#191-207">source</a><a href="#impl-GetType-for-Procedure" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.Procedure.html" title="struct sage::lir::Procedure">Procedure</a></h3></section><section id="impl-GetType-for-StandardBuiltin" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/builtin.rs.html#109-124">source</a><a href="#impl-GetType-for-StandardBuiltin" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.StandardBuiltin.html" title="struct sage::lir::StandardBuiltin">StandardBuiltin</a></h3></section></div><script src="../../trait.impl/sage/lir/types/inference/trait.GetType.js" async></script></section></div></main></body></html>
+</div></details><section id="method.substitute_types" class="method"><a class="src rightside" href="../../src/sage/lir/types/inference.rs.html#31-35">source</a><h4 class="code-header">fn <a href="#method.substitute_types" class="fn">substitute_types</a>(&amp;mut self, names: &amp;[<a class="struct" href="https://doc.rust-lang.org/1.76.0/alloc/string/struct.String.html" title="struct alloc::string::String">String</a>], types: &amp;[<a class="enum" href="enum.Type.html" title="enum sage::lir::Type">Type</a>])</h4></section></div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-GetType-for-ConstExpr" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/const_expr.rs.html#583-1003">source</a><a href="#impl-GetType-for-ConstExpr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="enum" href="enum.ConstExpr.html" title="enum sage::lir::ConstExpr">ConstExpr</a></h3></section><section id="impl-GetType-for-Expr" class="impl"><a class="src rightside" href="../../src/sage/lir/types/inference.rs.html#39-558">source</a><a href="#impl-GetType-for-Expr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="enum" href="enum.Expr.html" title="enum sage::lir::Expr">Expr</a></h3></section><div class="docblock"><p>Infer the type associated with an expression under a given environment.</p>
+</div><section id="impl-GetType-for-CoreBuiltin" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/builtin.rs.html#33-48">source</a><a href="#impl-GetType-for-CoreBuiltin" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.CoreBuiltin.html" title="struct sage::lir::CoreBuiltin">CoreBuiltin</a></h3></section><section id="impl-GetType-for-FFIProcedure" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/ffi.rs.html#45-56">source</a><a href="#impl-GetType-for-FFIProcedure" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.FFIProcedure.html" title="struct sage::lir::FFIProcedure">FFIProcedure</a></h3></section><section id="impl-GetType-for-PolyProcedure" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/poly.rs.html#204-230">source</a><a href="#impl-GetType-for-PolyProcedure" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.PolyProcedure.html" title="struct sage::lir::PolyProcedure">PolyProcedure</a></h3></section><section id="impl-GetType-for-Procedure" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/mono.rs.html#191-207">source</a><a href="#impl-GetType-for-Procedure" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.Procedure.html" title="struct sage::lir::Procedure">Procedure</a></h3></section><section id="impl-GetType-for-StandardBuiltin" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/procedure/builtin.rs.html#109-124">source</a><a href="#impl-GetType-for-StandardBuiltin" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.GetType.html" title="trait sage::lir::GetType">GetType</a> for <a class="struct" href="struct.StandardBuiltin.html" title="struct sage::lir::StandardBuiltin">StandardBuiltin</a></h3></section></div><script src="../../trait.impl/sage/lir/types/inference/trait.GetType.js" async></script></section></div></main></body></html>

docs/sage/lir/trait.Simplify.html

@@ -10,4 +10,4 @@
 the number of recursive calls to prevent stack overflow. <code>i</code> is a
 counter to prevent infinite recursion.</p>
 </div></details></div><h2 id="provided-methods" class="section-header">Provided Methods<a href="#provided-methods" class="anchor">§</a></h2><div class="methods"><details class="toggle method-toggle" open><summary><section id="method.simplify" class="method"><a class="src rightside" href="../../src/sage/lir/mod.rs.html#85-87">source</a><h4 class="code-header">fn <a href="#method.simplify" class="fn">simplify</a>(self, env: &amp;<a class="struct" href="struct.Env.html" title="struct sage::lir::Env">Env</a>) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.76.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;Self, <a class="enum" href="enum.Error.html" title="enum sage::lir::Error">Error</a>&gt;</h4></section></summary><div class="docblock"><p>Simplify an expression while maintaining structural equality.</p>
-</div></details></div><h2 id="object-safety" class="section-header">Object Safety<a href="#object-safety" class="anchor">§</a></h2><div class="object-safety-info">This trait is <b>not</b> <a href="https://doc.rust-lang.org/1.76.0/reference/items/traits.html#object-safety">object safe</a>.</div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-Simplify-for-ConstExpr" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/const_expr.rs.html#577-581">source</a><a href="#impl-Simplify-for-ConstExpr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Simplify.html" title="trait sage::lir::Simplify">Simplify</a> for <a class="enum" href="enum.ConstExpr.html" title="enum sage::lir::ConstExpr">ConstExpr</a></h3></section><section id="impl-Simplify-for-Type" class="impl"><a class="src rightside" href="../../src/sage/lir/types/mod.rs.html#2267-2432">source</a><a href="#impl-Simplify-for-Type" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Simplify.html" title="trait sage::lir::Simplify">Simplify</a> for <a class="enum" href="enum.Type.html" title="enum sage::lir::Type">Type</a></h3></section></div><script src="../../trait.impl/sage/lir/trait.Simplify.js" async></script></section></div></main></body></html>
+</div></details></div><h2 id="object-safety" class="section-header">Object Safety<a href="#object-safety" class="anchor">§</a></h2><div class="object-safety-info">This trait is <b>not</b> <a href="https://doc.rust-lang.org/1.76.0/reference/items/traits.html#object-safety">object safe</a>.</div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-Simplify-for-ConstExpr" class="impl"><a class="src rightside" href="../../src/sage/lir/expr/const_expr.rs.html#577-581">source</a><a href="#impl-Simplify-for-ConstExpr" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Simplify.html" title="trait sage::lir::Simplify">Simplify</a> for <a class="enum" href="enum.ConstExpr.html" title="enum sage::lir::ConstExpr">ConstExpr</a></h3></section><section id="impl-Simplify-for-Type" class="impl"><a class="src rightside" href="../../src/sage/lir/types/mod.rs.html#2218-2369">source</a><a href="#impl-Simplify-for-Type" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="trait.Simplify.html" title="trait sage::lir::Simplify">Simplify</a> for <a class="enum" href="enum.Type.html" title="enum sage::lir::Type">Type</a></h3></section></div><script src="../../trait.impl/sage/lir/trait.Simplify.js" async></script></section></div></main></body></html>