About the framework
Examples
Reference
This module contains the definitions of types and aliases used in the framework.