diff --git a/src/core/CCOpt.mli b/src/core/CCOpt.mli index 04133e09..60d39aab 100644 --- a/src/core/CCOpt.mli +++ b/src/core/CCOpt.mli @@ -1,3 +1,5 @@ +(** Option module + @deprecated use `CCOption` instead. *) [@@@ocaml.deprecated "use CCOption instead"] include module type of CCOption