Inox API
========

Trees
-----

Extendability is core to the design of the Inox AST (Abstract Syntax Tree).
The [Trees](/src/main/scala/inox/ast/Trees.scala) trait can be extended with
new constructs and provide useful override points to enable extensions with
new features. See [Stainless](https://githum.com/epfl-lara/stainless) for some
concrete examples.

Programs are constructed from
1. [Expressions](/src/main/scala/inox/ast/Expressions.scala)