File "t15bad.ml", line 11, characters 0-61:
11 | module rec M : S' with type t = M.t = struct type t = M.t end;;
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The type abbreviation M.t is cyclic:
         M.t = M.t