<?xml version="1.0" encoding="iso-8859-1"?>
<checkstyle version="mascot-1.0">
  <file name="a.mli">
    <error severity="error" message="missing @author comment" source="documentation.module_comment" line="1"/>
    <error severity="error" message="missing @version comment" source="documentation.module_comment" line="1"/>
    <error severity="error" message="missing module comment" source="documentation.module_comment" line="3" column="0"/>
  </file>
  <file name="b.mli">
    <error severity="error" message="missing @version comment" source="documentation.module_comment" line="1"/>
  </file>
</checkstyle>