#leo #zero-knowledge #programming-language #aleo #cryptography

yanked leo-symbol-table

Stores user-defined variables during type resolution

1.0.8 Jan 12, 2021
1.0.7 Dec 14, 2020
1.0.6 Dec 3, 2020
1.0.5 Dec 2, 2020

#25 in #leo


Used in leo-type-inference

GPL-3.0 license

605KB
10K SLoC

The symbol table for a Leo program.

This module contains the SymbolTable type, an abstract data type that tracks the current bindings for functions and circuits in a Leo program.

A new [Symbol Table] type can be created from a reference to a LeoAst. A [Symbol Table] type can be used to create a new TypeInference type.

Dependencies

~14–26MB
~423K SLoC