HELP: random-bytes*
{ $values { "n" integer } { "obj" "a random number generator" } { "byte-array" "a sequence of random bytes" } }
-{ $description "Generates a byte-array of n random bytes." } ;
+{ $description "Generates a byte-array of " { $snippet "n" } " random bytes." } ;
HELP: random
{ $values { "obj" object } { "elt" "a random element" } }
HELP: random-bytes
{ $values { "n" integer } { "byte-array" "a sequence of random bytes" } }
-{ $description "Generates a byte-array of n random bytes." }
+{ $description "Generates a byte-array of " { $snippet "n" } " random bytes." }
{ $examples
{ $unchecked-example "USING: prettyprint random ;"
"5 random-bytes ."
HELP: random-bits
{ $values { "numbits" integer } { "n" "a random integer" } }
-{ $description "Outputs an random integer n bits in length." } ;
+{ $description "Outputs a random integer " { $snippet "numbits" } " bits in length." } ;
HELP: random-bits*
{ $values { "numbits" integer } { "n" "a random integer" } }
-{ $description "Returns an integer exactly " { $snippet "numbits" } " in length, with the topmost bit set to one." } ;
+{ $description "Returns an integer exactly " { $snippet "numbits" } " bits in length, with the topmost bit set to one." } ;
HELP: with-random
{ $values { "obj" "a random number generator" } { "quot" quotation } }