File "a.mli", line 3, column 0, error: value "x" is exported twice File "a.mli", line 7, column 0, error: exception "E" is exported twice File "a.mli", line 9, column 0, error: exception "E" is exported twice
File "a.mli", line 3, column 0, error: value "x" is exported twice File "a.mli", line 7, column 0, error: exception "E" is exported twice File "a.mli", line 9, column 0, error: exception "E" is exported twice