Some typical examples are: gconv{|C|} c = Const c gconv{|V|} v = Var v The conversion of a given body to a function is rather simple.
確定! 回上一頁