add missing @since

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

View file

@ -1,6 +1,9 @@
(* This file is free software, part of containers. See file "license" for more details. *)
(** {1 Options} *)
(** Options
This module replaces `CCOpt`.
@since NEXT_RELEASE *)
type +'a t = 'a option