To make f unfoldable, we write let ffix = lift (x +fi 1) in f<03 + f<B4 which ... f to a static A-expression \«x We can also make the let itself unfoldable, ...
確定! 回上一頁