These variable-binding operators, which give rise to comprehended terms, have the property that they can always be eliminated.
確定! 回上一頁