[doc] Enable Warning 50 [incorrect doc comment] and fix comments.

This is a pre-requisite to use automated formatting tools such as
`ocamlformat`, also, there were quite a few places where the comments
had basically no effect, thus it was confusing for the developer.

p.s: Reading some comments was a lot of fun :)

1 files changed, 5 insertions, 5 deletions

diff --git a/vernac/search.mli b/vernac/search.mli
index 0dc82c1c3f..ecbb02bc68 100644
--- a/vernac/search.mli
+++ b/vernac/search.mli
@@ -49,16 +49,16 @@ val search_about   : int option -> (bool * glob_search_about_item) list
                   -> DirPath.t list * bool -> display_function -> unit
 
 type search_constraint =
-  (** Whether the name satisfies a regexp (uses Ocaml Str syntax) *)
   | Name_Pattern of Str.regexp
-  (** Whether the object type satisfies a pattern *)
+  (** Whether the name satisfies a regexp (uses Ocaml Str syntax) *)
   | Type_Pattern of Pattern.constr_pattern
-  (** Whether some subtype of object type satisfies a pattern *)
+  (** Whether the object type satisfies a pattern *)
   | SubType_Pattern of Pattern.constr_pattern
-  (** Whether the object pertains to a module *)
+  (** Whether some subtype of object type satisfies a pattern *)
   | In_Module of Names.DirPath.t
-  (** Bypass the Search blacklist *)
+  (** Whether the object pertains to a module *)
   | Include_Blacklist
+  (** Bypass the Search blacklist *)
 
 type 'a coq_object = {
   coq_object_prefix : string list;