r <span class="arrow">&#45;&gt;</span></span>
  <span><span>(int * <a href="../../ATDGenerated/Jsonbug_t/index.html#type-jsonbug">ATDGenerated.Jsonbug_t.jsonbug</a>)</span> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div><div class="spec-doc"><p>pretty-print an issue together with a number, e.g. to identify it in a list</p></div></div><div class="odoc-spec"><div class="spec value" id="val-pp_source_context" class="anchored"><a href="#val-pp_source_context" class="anchor"></a><code><spa