# devtools

This is a place designed to development only tools, it may include, patches, suggestions, ppxes and others. **Tools here should not be used to make release builds, for testing or on the CI**.

## Tools

- protocol-print: This allows printing inside the protocol files for debugging purposes.