Propagate predicate types to pattern variables#110

dak2 merged 1 commit intomaindak2/method-ray:mainfrom

pattern-variable-type-propagationdak2/method-ray:pattern-variable-type-propagationCopy head branch name to clipboard