Modules

This document introduce the core modules of otavia.