docs: hide deprecated modules

RedPRL · Aug 6, 2022 · 14866f9 · 14866f9
1 parent 1c73723
commit 14866f9
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/src/Bwd.mli b/src/Bwd.mli
@@ -8,5 +8,7 @@ module Bwd : module type of BwdNoLabels
 (** This module is similar to {!module:ListLabels} but for backward lists. *)
 module BwdLabels : module type of BwdLabels
 
+(**/**)
+
 (** An alias of {!module:Bwd.Notation} for infix notation. *)
 module BwdNotation : module type of BwdNotation [@@ocaml.alert deprecated "Use Bwd.Infix instead"]
diff --git a/src/BwdLabels.mli b/src/BwdLabels.mli
@@ -111,4 +111,6 @@ sig
   (** An alias of {!val:BwdLabels.prepend}. *)
 end
 
+(**/**)
+
 module Notation : module type of Infix [@@ocaml.alert deprecated "Use Bwd.Infix instead"]
diff --git a/src/BwdNoLabels.mli b/src/BwdNoLabels.mli
@@ -111,4 +111,6 @@ sig
   (** An alias of {!val:Bwd.prepend}. *)
 end
 
+(**/**)
+
 module Notation : module type of Infix [@@ocaml.alert deprecated "Use Bwd.Infix instead"]