Skip to content

Language & Types#

Language & Types groups related pages inside Develop. Language & Types pages collected in one staged branch.

The table links to the next useful page or sub-hub, keeping the sidebar staged instead of fully expanded.

Map#

Page What you'll find
Templates One issue with embedding constants directly in contracts is that it prevents effective optimization through caching.
Intro This section describes the typed abstract syntax of the ErgoTree language, which is used to define logical propositions protecting boxes in the Ergo blockchain.
Language ErgoTree language syntax and expression model.
Types ErgoTree type system reference.
Typing Typing rules for ErgoTree expressions.
Functions ErgoTree functions and operation reference.