Skip to content
Snippets Groups Projects
API.md 455 B

Inox API

Trees

Extendability is core to the design of the Inox AST (Abstract Syntax Tree). The Trees trait can be extended with new constructs and provide useful override points to enable extensions with new features. See Stainless for some concrete examples.

Programs are constructed from

  1. Expressions