For instance, the definition of the funcon while-true specifies the reduction of while-true(B,X) to a term involving the funcons if-true-else and ...
確定! 回上一頁