docs: minor tweaks

RedPRL · May 2, 2022 · 879a29c · 879a29c
1 parent 6551e12
commit 879a29c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/BwdLabels.mli b/src/BwdLabels.mli
@@ -9,6 +9,8 @@
 
  Please {{: https://github.com/RedPRL/ocaml-bwd/issues/new/choose}open a GitHub issue} if you want a function to be included.
  We want to make this library useful to you, too!
+
+ @canonical Bwd.BwdLabels
 *)
 
 (** @canonical Bwd.bwd *)