termの中に現れるtermのconversionには，個々のconvを適用する位置や回数，順序などを指定するconversional関数(: conv -> conv = )を用います． RAND_CONV conv tm における RAND_CONV は，tm内のrand tmにconvを適用します．例えば rand `1 + 2 + 3`;; val…

conversionsによる処理の優位性は，それらを制御して，より複雑なconversionを生成するconversionalと呼ばれる関数(: conv -> conv = )の存在にあります． 今回はその中でも，複数のconversionsを組み合わせるものを紹介します．■ まず，次に定義するTHENC関…