diff options
| -rw-r--r-- | otherlibs/systhreads/event.mli | 2 | ||||
| -rw-r--r-- | otherlibs/threads/event.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/systhreads/event.mli b/otherlibs/systhreads/event.mli index 21d5459a5..8a5991f77 100644 --- a/otherlibs/systhreads/event.mli +++ b/otherlibs/systhreads/event.mli @@ -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] diff --git a/otherlibs/threads/event.mli b/otherlibs/threads/event.mli index 21d5459a5..8a5991f77 100644 --- a/otherlibs/threads/event.mli +++ b/otherlibs/threads/event.mli @@ -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] |