File "a.mli", line 4, column 0, error: missing exception comment File "a.mli", line 9, column 0, error: missing exception comment File "b.mli", line 5, column 2, error: missing exception comment File "b.mli", line 10, column 2, error: missing exception comment