Link to Ocamlary from index of pages

and add an example of comments associated to polymorphic variants

Signed-off-by: Paul-Elliot <[email protected]>

Author: panglesd

doc/driver.mld

@@ -269,7 +269,7 @@ let dep_libraries =
 let odoc_libraries = [
     "odoc_xref_test"; "odoc_xref2"; "odoc_odoc"; "odoc_html_support_files";
     "odoc_model_desc"; "odoc_model"; "odoc_manpage"; "odoc_loader";
-    "odoc_latex"; "odoc_html"; "odoc_document"; "odoc_examples" ];;
+    "odoc_latex"; "odoc_html"; "odoc_document"; "odoc_examples"; "ocamlary" ];;
 
 let all_libraries = dep_libraries @ odoc_libraries;;
 

doc/library_mlds/dune

@@ -11,4 +11,5 @@
   odoc_model_desc
   odoc_odoc
   odoc_xref2
-  odoc_xref_test))
+  odoc_xref_test
+  ocamlary))

doc/library_mlds/ocamlary.mld

@@ -0,0 +1,3 @@
+{0 Ocamlary}
+
+A demonstration of the rendering of most of the OCaml constructs {!module-Ocamlary}.

doc/odoc.mld

@@ -53,4 +53,5 @@ The main other pages of this site:
 - {!page-dune} Dune
 - {!page-parent_child_spec} Parent/Child specification
 - {!page-interface} Interface guarantees
+- {!page-ocamlary} A demonstration of the rendering of most of the OCaml constructs
 

src/ocamlary/ocamlary.mli

@@ -430,7 +430,9 @@ type variant =
 (** This comment is also for [variant]. *)
 
 (** This comment is for [poly_variant]. *)
-type poly_variant = [ `TagA | `ConstrB of int ]
+type poly_variant =
+  [ `TagA  (** This is a comment for [`TagA] *)
+  | `ConstrB of int  (** This is a comment for [`ConstrB] *) ]
 (** Wow! It was a polymorphic variant! *)
 
 (** This comment is for [full_gadt]. *)