Check If Refinement Predicates Are Boolean Expressions#85

rcosta358 merged 5 commits into

liquid-java:mainliquid-java/liquidjava:mainfrom

rcosta358:check-valid-refinementrcosta358/liquidjava:check-valid-refinementCopy head branch name to clipboard