-
Andrei Paskevich authored
- accept predicate symbols as functions to bool in programs - get rid of *_bool comparisons in theories/programs.why
b78a1e58
- accept predicate symbols as functions to bool in programs - get rid of *_bool comparisons in theories/programs.why