diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-28 23:14:14 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-28 23:14:14 +0000 |
commit | 69ccd1bdbf3c9a1b16682ba3f7b941073f4442a6 (patch) | |
tree | 57ef851b8fb21628a64bacc847628994878b895c /otherlibs | |
parent | a1f70bfb1d3c294d345c15796bab5524cb41c8de (diff) |
Changements niveaux de titre dans les commentaires
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
-rw-r--r-- | otherlibs/threads/thread.mli | 6 | ||||
-rw-r--r-- | otherlibs/threads/threadUnix.mli | 14 |
2 files changed, 10 insertions, 10 deletions
diff --git a/otherlibs/threads/thread.mli b/otherlibs/threads/thread.mli index 5306091e7..17a6260b3 100644 --- a/otherlibs/threads/thread.mli +++ b/otherlibs/threads/thread.mli @@ -19,7 +19,7 @@ type t (** The type of thread handles. *) -(** {2 Thread creation and termination} *) +(** {6 Thread creation and termination} *) val create : ('a -> 'b) -> 'a -> t (** [Thread.create funct arg] creates a new thread of control, @@ -49,7 +49,7 @@ val kill : t -> unit (** Terminate prematurely the thread whose handle is given. This functionality is available only with bytecode-level threads. *) -(** {2 Suspending threads} *) +(** {6 Suspending threads} *) val delay : float -> unit (** [delay d] suspends the execution of the calling thread for @@ -112,7 +112,7 @@ val yield : unit -> unit (**/**) -(** {2 Synchronization primitives} +(** {6 Synchronization primitives} The following primitives provide the basis for implementing synchronization functions between threads. Their direct use is diff --git a/otherlibs/threads/threadUnix.mli b/otherlibs/threads/threadUnix.mli index c7f9f41fd..e0a4a82b7 100644 --- a/otherlibs/threads/threadUnix.mli +++ b/otherlibs/threads/threadUnix.mli @@ -21,7 +21,7 @@ (block the calling thread, if required, but do not block all threads in the process). *) -(** {2 Process handling} *) +(** {6 Process handling} *) val execv : string -> string array -> unit val execve : string -> string array -> string array -> unit @@ -30,12 +30,12 @@ val wait : unit -> int * Unix.process_status val waitpid : Unix.wait_flag list -> int -> int * Unix.process_status val system : string -> Unix.process_status -(** {2 Basic input/output} *) +(** {6 Basic input/output} *) val read : Unix.file_descr -> string -> int -> int -> int val write : Unix.file_descr -> string -> int -> int -> int -(** {2 Input/output with timeout} *) +(** {6 Input/output with timeout} *) val timed_read : Unix.file_descr -> string -> int -> int -> float -> int (** See {!ThreadUnix.timed_write}. *) @@ -46,14 +46,14 @@ val timed_write : Unix.file_descr -> string -> int -> int -> float -> int available for reading or ready for writing after [d] seconds. The delay [d] is given in the fifth argument, in seconds. *) -(** {2 Polling} *) +(** {6 Polling} *) val select : Unix.file_descr list -> Unix.file_descr list -> Unix.file_descr list -> float -> Unix.file_descr list * Unix.file_descr list * Unix.file_descr list -(** {2 Pipes and redirections} *) +(** {6 Pipes and redirections} *) val pipe : unit -> Unix.file_descr * Unix.file_descr val open_process_in : string -> in_channel @@ -62,11 +62,11 @@ val open_process : string -> in_channel * out_channel val open_process_full : string -> string array -> in_channel * out_channel * in_channel -(** {2 Time} *) +(** {6 Time} *) val sleep : int -> unit -(** {2 Sockets} *) +(** {6 Sockets} *) val socket : Unix.socket_domain -> Unix.socket_type -> int -> Unix.file_descr val socketpair : |