Name: random_member/2
Module: random
Multifile: true
generate(prob_ast_boolean(_),Value) :- random_member(Val,[boolean_true,boolean_false]) , Value = b(Val,boolean,[]).
Calls:
Name: =/2
shrink(prob_ast_boolean(_),Boolean,Boolean).