<!-- DO NOT EDIT MANUALLY: Generated by tests/test_docs.py::test_docs_devtools_example for use in docs -->
<span class="ansi35">devtools_example.py</span>:<span class="ansi32">30</span> <span class="ansi3 ansi32">&lt;module&gt;</span>
    <span class="ansi34">user</span>: <span class="ansi38-252">User</span><span class="ansi38-252">(</span>
<span class="ansi38-252">        </span><span class="ansi38-5">id</span><span class="ansi38-68">=</span><span class="ansi38-5">123</span><span class="ansi38-252">,</span