[syntax_tools + doctest] Add some (a lot of) examples to exported functions · erlang/otp@ded2270

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9, dorny/paths-filter@de90cc6fb38fc0963ad72b210f1f284cd68cea36. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: erlef/setup-beam@e6d7c94229049569db56a7ad5a540c051a010af9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/upload-artifact@v4, docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@018cc2cf5baa6db3ef3c5f8a56943fffe632ef53, docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@018cc2cf5baa6db3ef3c5f8a56943fffe632ef53, docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime

Name	Size	Digest
Event File	3.95 KB	`sha256:8e6d12298ebf981f67e0dfdbd6102aa62547f4126a4b44f50045adcb5f9573e3`
SARIF file	794 Bytes	`sha256:2081d51c777978eb4de945fb220efda5e9ad4b8ae100a36c9ccd7fccac6278e7`
Unit Test Results	5.53 KB	`sha256:2a0dd6aeba7a9c23aa0a4dc0710d5e6d760c2a0084cb621cc162cae00880394d`
ort-results-otp-c334f57af43c899ebda96fc2a040a10bbb50bd53	3.31 MB	`sha256:cbd60056fd73e760008988a3bf7163f0128f611f26ff2f4c3751fc1ce55ca897`
ort-results-otp-c334f57af43c899ebda96fc2a040a10bbb50bd53-scan-result.json.zip	531 KB	`sha256:7eb5853001295c059b2fd2cc4595350df60fc78a929978ca954513ec339615f8`
ort-scan-results	3.33 MB	`sha256:0c9332b82d37ca504ef5a998ad6908c3cfbf8e79814d51463def1a24590a2415`
otp_doc_html	31.1 MB	`sha256:24edc787be9758ae603167b82dabce4875855f6f0641e1eb81b317f275a0c4ba`
otp_doc_man	1.87 MB	`sha256:709091e6a4e102d2ec54686c87cda6aaf5b3d4e8b1e74f2d853af222859ad48f`
otp_git_archive	61.9 MB	`sha256:e96756c9539105d4e57bd472dcf06cf65b8650bcd945a24ca07adaea8d382e00`
otp_prebuilt	220 MB	`sha256:06da67889df543678be8ca380aa2d6a2c84eab2d18e6f4d7e0bcbeef036391af`
spdx-sbom-result	514 KB	`sha256:ad4ae3082e80f9d9b37dc6188f88f71fb953e0f92971291264d02cedb913a42b`
syntax_tools_test_results	276 KB	`sha256:d10dbe9060fd3b7191201e0d6d6124da22dbb680cb73f47c60d2e27a24fca83b`
test_results	83.1 MB	`sha256:d2db015d482331750e36cd69642212c82ed896401e591063131efb4679d62a4f`