(* TEST
   * ocamldoc with html
   * ocamldoc with latex
*)
module rec A : sig type t end = B and B : sig type t = A.t end = A;;