User Documentation

The headers provided by platform module are described in the following pages:

estdint

<platform/estdint.h>