This commit is contained in:
Simon Cruanes 2021-09-25 20:58:31 -04:00
parent ff2d1d3cbc
commit bf15e88f0c
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

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