Multifile: true
generate(prob_type, Type) :- random_member(Type, [boolean, integer, string]). % TO DO: add nested types
Calls:
Name: random_member/2
shrink(Type, In, In) :- Type =.. [prob_ast_set_expr|_].
Name: =../2