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