steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

help lint fixes for random

db4
erg 2008-03-29 20:12:22 -05:00
parent 2e04b8623d
commit 9df74f9b6f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
extra/random/random-docs.factor
View File

@ -17,7 +17,7 @@ HELP: random-32*
{ $description "Generates a random 32-bit unsigned integer." } ;
HELP: random-bytes*
{ $values { "n" "an integer" } { "tuple" "a random number generator" } { "bytes" "a sequence of random bytes" } }
{ $values { "n" "an integer" } { "tuple" "a random number generator" } { "byte-array" "a sequence of random bytes" } }
{ $description "Generates a byte-array of random bytes." } ;
HELP: random
@ -26,7 +26,7 @@ HELP: random
{ $notes "Since integers are sequences, passing an integer " { $snippet "n" } " yields a random integer in the interval " { $snippet "[0,n)" } "." } ;
HELP: random-bytes
{ $values { "n" "an integer" } { "bytes" "a random integer" } }
{ $values { "n" "an integer" } { "byte-array" "a random integer" } }
{ $description "Outputs an integer with n bytes worth of bits." } ;
HELP: random-bits