leo-typed (cargo): Typed AST of the Leo programming language
Keywords: cryptography|zero-knowledge|leo|programming-language|aleo|compiler|zksnarks