on_type : <a href="index.html#type-violation_type">violation_type</a> <span>&#45;&gt;</span> <a href="index.html#type-violation_type">violation_type</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-violation_description"><a href="#val-violation_description" class="anchor"></a><code><span class="keyword">val</span> violation_description : <a href="index.html#type-violation">violation</a> <span>&#45;&gt;</span> <a href="index.html#type-violation_type">violati