Nope: you should take a look at the [Something]ServiceProvider.php
files in the concrete/src
directory
For example:
concrete/src/Validation/ValidationServiceProvider.php
defines'token'
concrete/src/Permission/PermissionServiceProvider.php
defines'IPLib\Address\AddressInterface'