Learn more about cloning repositories
You have read-only access
Eliminate recursion when substituting the model into each witness. Swift SVN r27657
