docs: fix CCOption.map_or doc comment (#407)

This commit is contained in:
Glenn Slotte 2022-03-23 14:02:53 +01:00 committed by GitHub
parent 6fa4c1c7d2
commit 7f4c87cfb9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,7 +15,7 @@ val map_or : default:'b -> ('a -> 'b) -> 'a t -> 'b
@since 0.16 *)
val map_lazy : (unit -> 'b) -> ('a -> 'b) -> 'a t -> 'b
(** [map_lazy default_fn f o] if [f o] if [o = Some x], [default_fn ()] otherwise.
(** [map_lazy default_fn f o] is [f x] if [o = Some x], [default_fn ()] otherwise.
@since 1.2 *)
val is_some : _ t -> bool