(* TEST * ocamldoc with html *) (** There's a top-comment before. *) [@@@deprecated "foo"]