Instantiate function preconditions inside the function body
so that if we have a function like: f(...) : p(x) { ... } p(x) is true inside the body of f. Closes #694.
Showing
想要评论请 注册 或 登录
so that if we have a function like: f(...) : p(x) { ... } p(x) is true inside the body of f. Closes #694.