deploy: 2b2100a

ProvableHQ · Mar 13, 2024 · 6aa4ea8 · 6aa4ea8
1 parent afd5b84
commit 6aa4ea8
Show file tree

Hide file tree

Showing 85 changed files with 169 additions and 169 deletions.
diff --git a/leo_ast/access/associated_constant_access/struct.AssociatedConstant.html b/leo_ast/access/associated_constant_access/struct.AssociatedConstant.html
diff --git a/leo_ast/access/associated_function_access/struct.AssociatedFunction.html b/leo_ast/access/associated_function_access/struct.AssociatedFunction.html
diff --git a/leo_ast/access/struct.AssociatedConstant.html b/leo_ast/access/struct.AssociatedConstant.html
diff --git a/leo_ast/access/struct.AssociatedFunction.html b/leo_ast/access/struct.AssociatedFunction.html
diff --git a/leo_ast/common/identifier/struct.Identifier.html b/leo_ast/common/identifier/struct.Identifier.html
diff --git a/leo_ast/common/positive_number/struct.NonNegativeNumber.html b/leo_ast/common/positive_number/struct.NonNegativeNumber.html
diff --git a/leo_ast/common/static_string/struct.StaticString.html b/leo_ast/common/static_string/struct.StaticString.html
diff --git a/leo_ast/expressions/array/struct.ArrayExpression.html b/leo_ast/expressions/array/struct.ArrayExpression.html
diff --git a/leo_ast/expressions/binary/enum.BinaryOperation.html b/leo_ast/expressions/binary/enum.BinaryOperation.html
diff --git a/leo_ast/expressions/enum.BinaryOperation.html b/leo_ast/expressions/enum.BinaryOperation.html
diff --git a/leo_ast/expressions/struct.ArrayExpression.html b/leo_ast/expressions/struct.ArrayExpression.html
diff --git a/leo_ast/expressions/struct.StructExpression.html b/leo_ast/expressions/struct.StructExpression.html
diff --git a/leo_ast/expressions/struct.UnaryExpression.html b/leo_ast/expressions/struct.UnaryExpression.html
diff --git a/leo_ast/expressions/struct.UnitExpression.html b/leo_ast/expressions/struct.UnitExpression.html
diff --git a/leo_ast/expressions/struct_init/struct.StructExpression.html b/leo_ast/expressions/struct_init/struct.StructExpression.html
diff --git a/leo_ast/expressions/unary/struct.UnaryExpression.html b/leo_ast/expressions/unary/struct.UnaryExpression.html
diff --git a/leo_ast/expressions/unit/struct.UnitExpression.html b/leo_ast/expressions/unit/struct.UnitExpression.html
diff --git a/leo_ast/functions/annotation/struct.Annotation.html b/leo_ast/functions/annotation/struct.Annotation.html
diff --git a/leo_ast/functions/finalize/struct.Finalize.html b/leo_ast/functions/finalize/struct.Finalize.html
diff --git a/leo_ast/functions/input/struct.FunctionInput.html b/leo_ast/functions/input/struct.FunctionInput.html
diff --git a/leo_ast/functions/output/enum.Output.html b/leo_ast/functions/output/enum.Output.html
diff --git a/leo_ast/functions/struct.Function.html b/leo_ast/functions/struct.Function.html
diff --git a/leo_ast/groups/group_coordinate/enum.GroupCoordinate.html b/leo_ast/groups/group_coordinate/enum.GroupCoordinate.html
diff --git a/leo_ast/groups/group_literal/enum.GroupLiteral.html b/leo_ast/groups/group_literal/enum.GroupLiteral.html
diff --git a/leo_ast/mapping/struct.Mapping.html b/leo_ast/mapping/struct.Mapping.html
diff --git a/leo_ast/program/program_id/struct.ProgramId.html b/leo_ast/program/program_id/struct.ProgramId.html
diff --git a/leo_ast/statement/assert/struct.AssertStatement.html b/leo_ast/statement/assert/struct.AssertStatement.html
diff --git a/leo_ast/statement/assign/struct.AssignStatement.html b/leo_ast/statement/assign/struct.AssignStatement.html
diff --git a/leo_ast/statement/block/struct.Block.html b/leo_ast/statement/block/struct.Block.html
diff --git a/leo_ast/statement/console/console_function/enum.ConsoleFunction.html b/leo_ast/statement/console/console_function/enum.ConsoleFunction.html
diff --git a/leo_ast/statement/const_/struct.ConstDeclaration.html b/leo_ast/statement/const_/struct.ConstDeclaration.html
diff --git a/leo_ast/statement/definition/struct.DefinitionStatement.html b/leo_ast/statement/definition/struct.DefinitionStatement.html
diff --git a/leo_ast/statement/enum.Statement.html b/leo_ast/statement/enum.Statement.html
diff --git a/leo_ast/statement/expression/struct.ExpressionStatement.html b/leo_ast/statement/expression/struct.ExpressionStatement.html
diff --git a/leo_ast/statement/return_/struct.ReturnStatement.html b/leo_ast/statement/return_/struct.ReturnStatement.html
diff --git a/leo_ast/stub/struct.Stub.html b/leo_ast/stub/struct.Stub.html
diff --git a/leo_ast/types/integer_type/enum.IntegerType.html b/leo_ast/types/integer_type/enum.IntegerType.html
diff --git a/leo_ast/types/tuple/struct.TupleType.html b/leo_ast/types/tuple/struct.TupleType.html
diff --git a/leo_ast/types/type_/enum.Type.html b/leo_ast/types/type_/enum.Type.html
diff --git a/leo_ast/value/enum.Value.html b/leo_ast/value/enum.Value.html
diff --git a/leo_errors/common/backtraced/struct.Backtraced.html b/leo_errors/common/backtraced/struct.Backtraced.html
diff --git a/leo_errors/common/formatted/struct.Formatted.html b/leo_errors/common/formatted/struct.Formatted.html
diff --git a/leo_errors/emitter/struct.Buffer.html b/leo_errors/emitter/struct.Buffer.html
@@ -3,7 +3,7 @@
 </div></details><h2 id="fields" class="fields section-header">Tuple Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.0" class="structfield section-header"><a href="#structfield.0" class="anchor field">§</a><code>0: <a class="struct" href="https://doc.rust-lang.org/1.76.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;T&gt;</code></span><h2 id="implementations" class="section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Buffer%3CT%3E" class="impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#66-81">source</a><a href="#impl-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.push" class="method"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#68-70">source</a><h4 class="code-header">pub fn <a href="#method.push" class="fn">push</a>(&amp;mut self, x: T)</h4></section></summary><div class="docblock"><p>Push <code>x</code> to the buffer.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.into_inner" class="method"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#73-75">source</a><h4 class="code-header">pub fn <a href="#method.into_inner" class="fn">into_inner</a>(self) -&gt; <a class="struct" href="https://doc.rust-lang.org/1.76.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a>&lt;T&gt;</h4></section></summary><div class="docblock"><p>Extract the underlying list of Ts.</p>
 </div></details><details class="toggle method-toggle" open><summary><section id="method.last_entry" class="method"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#78-80">source</a><h4 class="code-header">pub fn <a href="#method.last_entry" class="fn">last_entry</a>(&amp;self) -&gt; <a class="enum" href="https://doc.rust-lang.org/1.76.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.76.0/std/primitive.reference.html">&amp;T</a>&gt;</h4></section></summary><div class="docblock"><p>Last entry to the buffer.</p>
-</div></details></div></details></div><h2 id="trait-implementations" class="section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Debug-for-Buffer%3CT%3E" class="impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#57">source</a><a href="#impl-Debug-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt" class="method trait-impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#57">source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/1.76.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/1.76.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Default-for-Buffer%3CT%3E" class="impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#60-64">source</a><a href="#impl-Default-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html" title="trait core::default::Default">Default</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.default" class="method trait-impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#61-63">source</a><a href="#method.default" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html#tymethod.default" class="fn">default</a>() -&gt; Self</h4></section></summary><div class='docblock'>Returns the “default value” for a type. <a href="https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html#tymethod.default">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Display-for-Buffer%3CT%3E" class="impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#83-94">source</a><a href="#impl-Display-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html" title="trait core::fmt::Display">Display</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html" title="trait core::fmt::Display">Display</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt-1" class="method trait-impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#84-93">source</a><a href="#method.fmt-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/1.76.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/1.76.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html#tymethod.fmt">Read more</a></div></details></div></details></div><h2 id="synthetic-implementations" class="section-header">Auto Trait Implementations<a href="#synthetic-implementations" class="anchor">§</a></h2><div id="synthetic-implementations-list"><section id="impl-RefUnwindSafe-for-Buffer%3CT%3E" class="impl"><a href="#impl-RefUnwindSafe-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;<div class="where">where
+</div></details></div></details></div><h2 id="trait-implementations" class="section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-Debug-for-Buffer%3CT%3E" class="impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#57">source</a><a href="#impl-Debug-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt-1" class="method trait-impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#57">source</a><a href="#method.fmt-1" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/1.76.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/1.76.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Default-for-Buffer%3CT%3E" class="impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#60-64">source</a><a href="#impl-Default-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html" title="trait core::default::Default">Default</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.default" class="method trait-impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#61-63">source</a><a href="#method.default" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html#tymethod.default" class="fn">default</a>() -&gt; Self</h4></section></summary><div class='docblock'>Returns the “default value” for a type. <a href="https://doc.rust-lang.org/1.76.0/core/default/trait.Default.html#tymethod.default">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Display-for-Buffer%3CT%3E" class="impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#83-94">source</a><a href="#impl-Display-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html" title="trait core::fmt::Display">Display</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html" title="trait core::fmt::Display">Display</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt" class="method trait-impl"><a class="src rightside" href="../../src/leo_errors/emitter/mod.rs.html#84-93">source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html#tymethod.fmt" class="fn">fmt</a>(&amp;self, f: &amp;mut <a class="struct" href="https://doc.rust-lang.org/1.76.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a>&lt;'_&gt;) -&gt; <a class="type" href="https://doc.rust-lang.org/1.76.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/1.76.0/core/fmt/trait.Display.html#tymethod.fmt">Read more</a></div></details></div></details></div><h2 id="synthetic-implementations" class="section-header">Auto Trait Implementations<a href="#synthetic-implementations" class="anchor">§</a></h2><div id="synthetic-implementations-list"><section id="impl-RefUnwindSafe-for-Buffer%3CT%3E" class="impl"><a href="#impl-RefUnwindSafe-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;<div class="where">where
     T: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a>,</div></h3></section><section id="impl-Send-for-Buffer%3CT%3E" class="impl"><a href="#impl-Send-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;<div class="where">where
     T: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>,</div></h3></section><section id="impl-Sync-for-Buffer%3CT%3E" class="impl"><a href="#impl-Sync-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;<div class="where">where
     T: <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,</div></h3></section><section id="impl-Unpin-for-Buffer%3CT%3E" class="impl"><a href="#impl-Unpin-for-Buffer%3CT%3E" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/1.76.0/core/marker/trait.Unpin.html" title="trait core::marker::Unpin">Unpin</a> for <a class="struct" href="struct.Buffer.html" title="struct leo_errors::emitter::Buffer">Buffer</a>&lt;T&gt;<div class="where">where

diff --git a/leo_errors/errors/ast/ast_errors/enum.AstError.html b/leo_errors/errors/ast/ast_errors/enum.AstError.html
diff --git a/leo_errors/errors/cli/cli_errors/enum.CliError.html b/leo_errors/errors/cli/cli_errors/enum.CliError.html