diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-06-24 09:50:23 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-06-24 09:50:23 +0000 |
| commit | 4f43b5f3fa9a30c46760e57f53f68fcac360f96e (patch) | |
| tree | 7331b4cef2f51f7092933992be4ac193d2beae2c | |
| parent | a41e89a3e7862d25bd3376850d309b206b40724e (diff) | |
Rectif doc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/random.mli | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/random.mli b/stdlib/random.mli index 44d3b15c0..f1d7d5da0 100644 --- a/stdlib/random.mli +++ b/stdlib/random.mli @@ -15,7 +15,7 @@ (** Pseudo-random number generators (PRNG). *) -(** {6 basic functions} *) +(** {6 Basic functions} *) val init : int -> unit (** Initialize the generator, using the argument as a seed. @@ -58,10 +58,11 @@ val bool : unit -> bool (** [Random.bool ()] returns [true] or [false] with probability 0.5 each. *) -(** {6 advanced functions} *) +(** {6 Advanced functions} *) -(** These function manipulate the current state explicitely. - This allows you to use one or several deterministic PRNGs, +(** The functions from module [State] manipulate the current state + of the random generator explicitely. + This allows using one or several deterministic PRNGs, even in a multi-threaded program, without interference from other parts of the program. *) |