Stainless’ Internals

The main component of Stainless and the dataflow in its pipeline:

_images/pipeline.svg