<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="documentation" check="type_comment" file="a.mli" line="4" column="0" message="missing type comment"/> <entry kind="error" category="documentation" check="type_comment" file="a.mli" line="9" column="0" message="missing type comment"/> <entry kind="error" category="documentation" check="type_comment" file="b.mli" line="5" column="2" message="missing type comment"/> <entry kind="error" category="documentation" check="type_comment" file="b.mli" line="10" column="2" message="missing type comment"/> </mascot-report>