Comments_on_open (Toplevel_comments.Comments_on


      module 
       M
      
       : sig ... 
       end

Comments attached to open are treated as floating comments. Referencing Section M.t works