event is a covariant type

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2006-01-12 03:24:56 +00:00
parent 9179680cab
commit e6940c4f8d
2 changed files with 2 additions and 2 deletions

View File

@ -27,7 +27,7 @@ type 'a channel
val new_channel : unit -> 'a channel
(** Return a new channel. *)
type 'a event
type +'a event
(** The type of communication events returning a result of type ['a]. *)
(** [send ch v] returns the event consisting in sending the value [v]

View File

@ -27,7 +27,7 @@ type 'a channel
val new_channel : unit -> 'a channel
(** Return a new channel. *)
type 'a event
type +'a event
(** The type of communication events returning a result of type ['a]. *)
(** [send ch v] returns the event consisting in sending the value [v]