# Overview

- [Contract Definitions](/overview/contract-structure.md)
- [Basic Types](/overview/types.md)
- [Complex Types](/overview/maps-and-lists.md)
- [Control Structures](/overview/control-structures.md)
- [Local Variables](/overview/local-variables.md)
- [Functions](/overview/functions.md)
- [Type Casting](/overview/type-casting.md)
- [Variable Modifiers](/overview/variable-modifiers.md)
- [Global Constants](/overview/global-constants.md)
- [Examples](/overview/examples.md)