<?xml version="1.0" encoding="iso-8859-1"?>
<mascot-report version="1.0">
  <entry kind="error" category="documentation" check="module_comment" file="a.mli" line="1" message="missing @author comment"/>
  <entry kind="error" category="documentation" check="module_comment" file="a.mli" line="1" message="missing @version comment"/>
  <entry kind="error" category="documentation" check="module_comment" file="a.mli" line="3" column="0" message="missing module comment"/>
  <entry kind="error" category="documentation" check="module_comment" file="b.mli" line="1" message="missing @version comment"/>
</mascot-report>