[−][src]Module leo_typed::program
A typed Leo program consists of import, circuit, and function definitions. Each defined type consists of typed statements and expressions.
Structs
| Program | A simple program with statement expressions, program arguments and program returns. |