;</span></span>
  <span><a href="#type-file_callback_t">file_callback_t</a> <span class="arrow">&#45;&gt;</span></span>
  <span>issue_dir:<a href="../../IBase/ResultsDirEntryName/index.html#type-id">IBase.ResultsDirEntryName.id</a> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div><div class="spec-doc"><p>Register a file callback (see details above). <code>issues_dir</code> must be unique for this type of checker.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-iter