体验新版 GitCode,发现更多精彩内容 >>
so that if we have a function like: f(...) : p(x) { ... } p(x) is true inside the body of f. Closes #694.
拖放文件到此处或点击上传