n><span style="color: #000000">!</span>
<span style="color: #000000">  </span><span style="color: #001080">contracts</span><span style="color: #000000">: [</span><span style="color: #267F99">Contract</span><span style="color: #000000">!]</span>
<span style="color: #000000">  </span><span style="color: #001080">ast</span><span style="color: #000000">: </span><span style="color: #267F99">AST</span>
<span style="color: #000000">  </span><span style="color: #001080">language</span><span style="color: #000000">: