ABI type definitions for Leo programs.
This crate provides types that describe the public interface of a Leo program, including transitions, mappings, and all related types. The ABI enables downstream tooling to interact with deployed Leo programs.
Lowered Types
Some Leo types have an alternative "lowered" form in the compiled Aleo bytecode. Downstream tooling should apply these transformations to understand the on-chain representation:
- [
Optional] - Lowered to a struct withis_some: boolandval: Tfields.