deploy: d8e1a1a

ProvableHQ · Apr 22, 2024 · 9ed7d39 · 9ed7d39
1 parent f57910d
commit 9ed7d39
Show file tree

Hide file tree

Showing 93 changed files with 185 additions and 185 deletions.
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/access/enum.AccessExpression.html b/leo_ast/expressions/access/enum.AccessExpression.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/call/struct.CallExpression.html b/leo_ast/expressions/call/struct.CallExpression.html
diff --git a/leo_ast/expressions/cast/struct.CastExpression.html b/leo_ast/expressions/cast/struct.CastExpression.html
diff --git a/leo_ast/expressions/enum.AccessExpression.html b/leo_ast/expressions/enum.AccessExpression.html
diff --git a/leo_ast/expressions/enum.BinaryOperation.html b/leo_ast/expressions/enum.BinaryOperation.html
diff --git a/leo_ast/expressions/enum.Literal.html b/leo_ast/expressions/enum.Literal.html
diff --git a/leo_ast/expressions/literal/enum.Literal.html b/leo_ast/expressions/literal/enum.Literal.html
diff --git a/leo_ast/expressions/struct.ArrayExpression.html b/leo_ast/expressions/struct.ArrayExpression.html
diff --git a/leo_ast/expressions/struct.CallExpression.html b/leo_ast/expressions/struct.CallExpression.html
diff --git a/leo_ast/expressions/struct.CastExpression.html b/leo_ast/expressions/struct.CastExpression.html
diff --git a/leo_ast/expressions/struct.StructVariableInitializer.html b/leo_ast/expressions/struct.StructVariableInitializer.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.StructVariableInitializer.html b/leo_ast/expressions/struct_init/struct.StructVariableInitializer.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/input/struct.Input.html b/leo_ast/functions/input/struct.Input.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/program/struct.Program.html b/leo_ast/program/struct.Program.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/conditional/struct.ConditionalStatement.html b/leo_ast/statement/conditional/struct.ConditionalStatement.html
diff --git a/leo_ast/statement/console/console_statement/struct.ConsoleStatement.html b/leo_ast/statement/console/console_statement/struct.ConsoleStatement.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/declaration_type/enum.DeclarationType.html b/leo_ast/statement/definition/declaration_type/enum.DeclarationType.html
diff --git a/leo_ast/statement/definition/enum.DeclarationType.html b/leo_ast/statement/definition/enum.DeclarationType.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/iteration/struct.IterationStatement.html b/leo_ast/statement/iteration/struct.IterationStatement.html
diff --git a/leo_ast/statement/return_/struct.ReturnStatement.html b/leo_ast/statement/return_/struct.ReturnStatement.html
diff --git a/leo_ast/struct/member/struct.Member.html b/leo_ast/struct/member/struct.Member.html
diff --git a/leo_ast/struct/struct.Composite.html b/leo_ast/struct/struct.Composite.html
diff --git a/leo_ast/stub/finalize_stub/struct.FinalizeStub.html b/leo_ast/stub/finalize_stub/struct.FinalizeStub.html
diff --git a/leo_ast/stub/function_stub/struct.FunctionStub.html b/leo_ast/stub/function_stub/struct.FunctionStub.html
diff --git a/leo_ast/types/array/struct.ArrayType.html b/leo_ast/types/array/struct.ArrayType.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.77.2/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.77.2/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.77.2/core/option/enum.Option.html" title="enum core::option::Option">Option</a>&lt;<a class="primitive" href="https://doc.rust-lang.org/1.77.2/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.77.2/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/core/fmt/trait.Display.html" title="trait core::fmt::Display">Display</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/core/fmt/trait.Display.html" title="trait core::fmt::Display">Display</a>&gt; <a class="trait" href="https://doc.rust-lang.org/1.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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.77.2/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
diff --git a/leo_errors/errors/enum.LeoError.html b/leo_errors/errors/enum.LeoError.html
diff --git a/leo_errors/errors/flattener/flattener_errors/enum.FlattenError.html b/leo_errors/errors/flattener/flattener_errors/enum.FlattenError.html
diff --git a/leo_errors/errors/package/package_errors/enum.PackageError.html b/leo_errors/errors/package/package_errors/enum.PackageError.html
diff --git a/leo_errors/errors/parser/parser_errors/enum.ParserError.html b/leo_errors/errors/parser/parser_errors/enum.ParserError.html
diff --git a/leo_errors/errors/parser/parser_warnings/enum.ParserWarning.html b/leo_errors/errors/parser/parser_warnings/enum.ParserWarning.html
diff --git a/leo_errors/errors/type_checker/type_checker_error/enum.TypeCheckerError.html b/leo_errors/errors/type_checker/type_checker_error/enum.TypeCheckerError.html
diff --git a/leo_errors/errors/utils/util_errors/enum.UtilError.html b/leo_errors/errors/utils/util_errors/enum.UtilError.html