@L ($h55.5.0+dev0-2025-04-28/&Random$init@#int@@@$unit@@@@@@7../../stdlib/random.mlibppbp@@&Random@@@)full_init@%array@@@@@@@@@@@@ff7@@A@@)self_init@/@@@4@@@@@@3itt4it@@2B@@$bits@D@@@O@@@@@@Hp  Ip  @@GC@@#int@_@@@d@@@@@@]t Y Y^t Y m@@\D@@(full_int@t@@@y@@@@@@r| T Ts| T m@@qE@@,int_in_range#min@@@#max@@@@@@@@@@@PP=@@F@@%int32B@&Stdlib%Int32!t@@@&Stdlib%Int32!t@@@@@@__9@@G@@.int32_in_rangeC#min%int32@@@#max @@@@@@@@@@@ff'@@H@@)nativeintn@&Stdlib)Nativeint!t@@@&Stdlib)Nativeint!t@@@@@ @pAApAk@@I@@2nativeint_in_rangeo#min)nativeint@@@!#max @@@"@@@#@@$@@%@w))w)m@@J@@%int64@&Stdlib%Int64!t@@@ l&Stdlib%Int64!t@@@ m@@ n@12@@0K@@.int64_in_range#min%int64@@@ o#max @@@ p@@@ q@@ r@@ s@RccSc@@QL@@%float@%float@@@ t@@@ u@@ v@hi@@gM@@$bool@y@@@ w$bool@@@ x@@ y@~@@}N@@&bits32@@@@ z&Stdlib%Int32!t@@@ {@@ |@@@O@@&bits64@@@@ }&Stdlib%Int64!t@@@ ~@@ @@@P@@*nativebits@@@@ &Stdlib)Nativeint!t@@@ @@ @>>>b@@Q@@ӱ%StateA@!tB;@@@A@@@@@egem@@@@R@A@$make@@@@ @@@ &Random%State!t@@@ @@ @@@S@@.make_self_init@ @@@ &Random%State!t@@@ @@ @@@T@@$copy@&Random%State!t@@@ &Random%State!t@@@ @@ @56@@4U@@$bits@&Random%State!t@@@ V@@@ @@ @OP@@NV@@#int@&Random%State!t@@@ @r@@@ w@@@ @@ @@ @pq-@@oW@@(full_int@&Random%State!t@@@ @@@@ @@@ @@ @@ @.0.N@@X@@,int_in_range@&Random%State!t@@@ #min@@@ #max@@@ @@@ @@ @@ @@ @OQO@@Y@@%int32@&Random%State!t@@@ @&Stdlib%Int32!t@@@ &Stdlib%Int32!t@@@ @@ @@ @@@Z@@.int32_in_range@&Random%State!t@@@ #minC@@@ #maxL@@@ Q@@@ @@ @@ @@ @@@[@@)nativeint@&Random%State!t@@@ @&Stdlib)Nativeint!t@@@ &Stdlib)Nativeint!t@@@ @@ @@ @?@@@>\@@2nativeint_in_range@&Random%State!t@@@ #minZ@@@ #maxc@@@ h@@@ @@ @@ @@ @klb@@j]@@%int64@&Random%State!t@@@ @&Stdlib %Int64!t@@@ &Stdlib %Int64!t@@@ @@ @@ @cec@@^@@.int64_in_range@&Random %State!t@@@ #minq @@@ #maxz @@@ @@@ @@ @@ @@ @@@_@@%float@&Random%State!t@@@ @|@@@ @@@ @@ @@ @@@`@@$bool@&Random%State!t@@@ @@@ @@ @@@a@@&bits32@&Random%State!t@@@ &Stdlib%Int32!t@@@ @@ @@@b@@&bits64@&Random%State!t@@@ &Stdlib%Int64!t@@@ @@ @;<5@@:c@@*nativebits@&Random%State!t@@@ &Stdlib)Nativeint!t@@@ @@ @Z68[6Y@@Yd@@%split@&Random%State!t@@@ &Random%State!t@@@ @@ @yz @@xe@@0to_binary_string@&Random%State!t@@@ &string@@@ @@ @!X!Z!X!|@@f@@0of_binary_string@@@@ &Random%State!t@@@ @@ @"""#@@g@@@@RR%r%u@h@@@)get_state@ @@@ &Random!%State!t@@@ =@@ >@%w%w%w%@@i@@)set_state@&Random"%State!t@@@ ?#@@@ @@@ A@&!&!&!&@@@j@@%split@$@@@ B&Random%%State!t@@@ C@@ D@&&&&@@k@@@3 'Pseudo-random number generators (PRNG).@  With multiple domains, each domain has its own generator that evolves independently of the generators of other domains. When a domain is created, its generator is initialized by splitting the state of the generator associated with the parent domain.@ In contrast, all threads within a domain share the same domain-local generator. Independent generators can be created with the ,Random.splitD@ 3 function and used with the functions from the ,Random.State@@( module.@@@@@#5.0 Random value generation used a different algorithm. This affects all the functions in this module which return random values.@@@@@@@@A7../../stdlib/random.mliA@/Basic functions@@+Random.init3 Initialize the domain-local generator, using the argument as a seed. The same seed will always yield the same sequence of numbers.@@@@@@@@@@@@G@ I@@@@?0Random.full_init3(Same as D@= but takes more data as seed.@@@@@@@@@@@@D@E@@@@60Random.self_init3 pInitialize the domain-local generator with a random seed chosen in a system-dependent way. If a cryptographically secure pseudorandom number generator is available on the host machine, it is used to provide a highly random initial seed. Otherwise, a less random seed is computed from system parameters (current time, process IDs, domain-local state).@@@@@@@@@@@@7@%8@@@@0+Random.bits3 /Return 30 random bits in a nonnegative integer.@@@@@@@@@@@@1@42@@@@**Random.int30Random.int bound 9 returns a random integer between 0 (inclusive) and %bound/ (exclusive). %bound , must be greater than 0 and less than 2"30@!.@@@@@@@@0Invalid_argument#if %bound) <= 0 or %bound% >= 2"30@!.@@@@@\@t]@@@@U/Random.full_int35Random.full_int bound 9 returns a random integer between 0 (inclusive) and %bound. (exclusive). %bound= may be any positive integer.@) If %bound/ is less than 2"31@,, then 5Random.full_int bound : yields identical output across systems with varying #int' sizes.@) If %bound/ is less than 2"30@,, then 5Random.full_int bound- is equal to D@& bound!.@) If %bound. is at least 2"30@ V (on 64-bit systems, or non-standard environments such as JavaScript), then /Random.full_int> returns a value whereas D@( raises 7Stdlib.Invalid_argument@@!.@@@@$4.13@@@0Invalid_argument#if %bound& <= 0.@@@@@@@@@@Ϡ3Random.int_in_range3=Random.int_in_range ~min ~max & returns a random integer between #min1 (inclusive) and #max7 (inclusive). Both #min% and #max ! are allowed to be negative; #min? must be less than or equal to #max!.@ E If both bounds fit in 32-bit signed integers (that is, if -2"31@$ <= #min% and #max$ < 2"31@,), then ,int_in_range 9 yields identical output across systems with varying #int' sizes.@@@@#5.2@@@0Invalid_argument#if )min > max!.@@@@@1@10@+*@@@@",Random.int3232Random.int32 bound 9 returns a random integer between 0 (inclusive) and %bound/ (exclusive). %bound8 must be greater than 0.@@@@@@@@0Invalid_argument#if %bound& <= 0.@@@@@>@?@@@@-5Random.int32_in_range3?Random.int32_in_range ~min ~max & returns a random integer between #min1 (inclusive) and #max7 (inclusive). Both #min% and #max ! are allowed to be negative; #min? must be less than or equal to #max!.@@@@#5.2@@@0Invalid_argument#if )min > max!.@@@@@c@cb@\[@@@@S0Random.nativeint36Random.nativeint bound 9 returns a random integer between 0 (inclusive) and %bound/ (exclusive). %bound8 must be greater than 0.@@@@@@@@0Invalid_argument#if %bound& <= 0.@@@@@o@p@@@@^9Random.nativeint_in_range3 #Random.nativeint_in_range ~min ~max & returns a random integer between #min1 (inclusive) and #max7 (inclusive). Both #min% and #max ! are allowed to be negative; #min? must be less than or equal to #max!.@@@@#5.2@@@0Invalid_argument#if )min > max!.@@@@@@@@@@@,Random.int6432Random.int64 bound 9 returns a random integer between 0 (inclusive) and %bound/ (exclusive). %bound8 must be greater than 0.@@@@@@@@0Invalid_argument#if %bound& <= 0.@@@@@@@@@@5Random.int64_in_range3?Random.int64_in_range ~min ~max & returns a random integer between #min1 (inclusive) and #max7 (inclusive). Both #min% and #max ! are allowed to be negative; #min? must be less than or equal to #max!.@@@@#5.2@@@0Invalid_argument#if )min > max!.@@@@@@@@@@@,Random.float32Random.float bound 9 returns a random floating-point number between 0 and %bound2 (inclusive). If %bound 5 is negative, the result is negative or zero. If %bound: is 0, the result is 0.@@@@@@@@@@@@@@@@@à+Random.bool3.Random.bool ()) returns $true$ or %false; with probability 0.5 each.@@@@@@@@@@@@@ @@@@ˠ-Random.bits3230Random.bits32 () 2 returns 32 random bits as an integer between -Int32.min_int@@% and -Int32.max_int@@!.@@@@$4.14@@@@@@@@+@@@@Ѡ-Random.bits6430Random.bits64 () 2 returns 64 random bits as an integer between -Int64.min_int@@% and -Int64.max_int@@!.@@@@$4.14@@@@@@@@K@@@@נ1Random.nativebits34Random.nativebits () i returns 32 or 64 random bits (depending on the bit width of the platform) as an integer between 1Nativeint.min_int@@% and 1Nativeint.max_int@@!.@@@@$4.14@@@@@@@@k@@@@ݠA@2Advanced functions@@:The functions from module @@ manipulate the current state of the random generator explicitly. This allows using one or several deterministic PRNGs, even in a multi-threaded program, without interference from other parts of the program.@/@A#.Random.State.t38The type of PRNG states.@@@@@@@@@@@@@@A@@@@1Random.State.make3 9Create a new state and initialize it with the given seed.@@@@@@@@@@@@@@@@@ߠ;Random.State.make_self_init3 Create a new state and initialize it with a random seed chosen in a system-dependent way. The seed is obtained as described in D@!.@@@@@@@@@@@@@@@@@ڠ1Random.State.copy3 !Return a copy of the given state.@@@@@@@@@@@@@@@@@ʠ1Random.State.bits@@@@@@0Random.State.int@@@@@@@5Random.State.full_int@@@@@@@9Random.State.int_in_range@@@@{z@@@@r2Random.State.int32@m@n@e@@@@S;Random.State.int32_in_range@N@O@ED@?>@@@@66Random.State.nativeint@1@2@)@@@@?Random.State.nativeint_in_range@@!@ @@@@@2Random.State.int64@@0@3@@@@۠;Random.State.int64_in_range@@<@@@@@@2Random.State.float@@K@N@@@@1Random.State.bool@@W@@@@3Random.State.bits32@@`@@@@3Random.State.bits64@}@i~@@@@l7Random.State.nativebits3 These functions are the same as the basic functions, except that they use (and update) the given PRNG state instead of the default one.@@@@@@@@@@@@m@xn@@@@\2Random.State.split3 3Draw a fresh PRNG state from the given PRNG state. (The given PRNG state is modified.) The new PRNG is statistically independent from the given PRNG. Data can be drawn from both PRNGs, in any order, without risk of correlation. Both PRNGs can be split later, arbitrarily many times.@@@@#5.0@@@@@@@_@`@@@@N=Random.State.to_binary_string3 ISerializes the PRNG state into an immutable sequence of bytes. See =Random.State.of_binary_stringD@5 for deserialization.@+ The &string q type is intended here for serialization only, the encoding is not human-readable and may not be printable.@ Q Note that the serialization format may differ across OCaml versions.@@@@#5.1@@@@@@@f@g@@@@Y3 7Deserializes a byte sequence obtained by calling .D@ u. The resulting PRNG state will produce the same random numbers as the state that was passed as input to 4D@!.@@@@#5.1@@@'Failure +if the input is not in the expected format.@ Q Note that the serialization format may differ across OCaml versions.@ , Unlike the functions provided by the 'Marshal@@ Y module, this function either produces a valid state or fails cleanly with a 'Failure K exception. It can be safely used on user-provided, untrusted inputs.@@@@@@@@@@u@@sr@@@@@0Random.get_state3+get_state() t returns a fresh copy of the current state of the domain-local generator (which is used by the basic functions).@@@@@@@@@@@@x@y@@@@l0Random.set_state3+set_state s } updates the current state of the domain-local generator (which is used by the basic functions) by copying the state !s) into it.@@@@@@@@@@@@v@w@@@@j?3 Draw a fresh PRNG state from the current state of the domain-local generator used by the default functions. (The state of the domain-local generator is modified.) See D@!.@@@@#5.0@@@@@@@r@(s@@@@f@@D@@A)Nativeint%Int64%Int32@@@@@