Closed mvcisback closed 7 years ago
Implement boolean predicates.
Shouldn't have quantitative semantics
Implement boolean predicates.
Shouldn't have quantitative semantics