Comment attached to an open is dropped #745
Description
module M : sig end
open M
(** Comment. *)The comment doesn't appear in the documentation. I think it should be treated as a floating comment.
{{ message }}
open is dropped #745module M : sig end
open M
(** Comment. *)The comment doesn't appear in the documentation. I think it should be treated as a floating comment.