Update src/core/CCOpt.mli

This commit is contained in:
Simon Cruanes 2021-09-24 14:36:53 -04:00 committed by GitHub
parent 302dba6cb5
commit 16576e8838
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,3 +1,5 @@
(** Option module
@deprecated use `CCOption` instead. *)
[@@@ocaml.deprecated "use CCOption instead"]
include module type of CCOption