Diff"><span class="Identifier">LineDiff</span></a> <span class="Other">=</span> <span class="Keyword">object</span>
  <span class="Identifier">lineA</span><span class="Operator">*</span><span class="Other">:</span> <span class="Identifier">int</span>
  <span class="Identifier">lineB</span><span class="Operator">*</span><span class="Other">:</span> <span class="Identifier">int</span>
  <span class="Keyword">case</span> <span class="Identifier">kind</span><span class="Operator">*</span><span class="Other">:</