Nuprl Definition : urand
urand(n;a) == random(uniform-fps(n);a;a)
Definitions occuring in Statement :
random: random(p;a;b),
uniform-fps: uniform-fps(n)
FDL editor aliases :
urand
urand(n;a) == random(uniform-fps(n);a;a)
Date html generated:
2015_07_17-AM-09_15_19
Last ObjectModification:
2012_02_25-AM-10_54_09
Home
Index