<?xml version="1.0" encoding="iso-8859-1"?> <checkstyle version="mascot-1.0"> <file name="a.mli"> <error severity="error" message="missing type comment" source="documentation.type_comment" line="4" column="0"/> <error severity="error" message="missing type comment" source="documentation.type_comment" line="9" column="0"/> </file> <file name="b.mli"> <error severity="error" message="missing type comment" source="documentation.type_comment" line="5" column="2"/> <error severity="error" message="missing type comment" source="documentation.type_comment" line="10" column="2"/> </file> </checkstyle>