Name: random/1
Module: random
Multifile: true
generate(float(Options),Value) :- generate(integer(Options),Integer) , random(R), Value is Integer*R.
Calls:
Name: is/2
Name: RECURSIVE_CALL/2
shrink(float(_),Value,Shrunken) :- shrink(integer(_),Value,Shrunken).
Name: RECURSIVE_CALL/3