1 2 3 4 5 6 7
module type A = B B = const A (* @Error Type declaration forms a cycle: A -> B -> A *) end.