Name: random/3
Module: random
Multifile: true
generate(prob_value_string(Options),string(Value)) :- generate(atom(Options),Value).
Calls:
Name: RECURSIVE_CALL/2
shrink(prob_value_string(_),string(Value),string(Shrunken)) :- shrink(atom(_),Value,Shrunken).
Name: RECURSIVE_CALL/3