以下のようなヴァリアント型を定義する． type term_ = | Lit of int | Inc of term_ | IsZ of term_ | If of term_ * term_ * term_ | Pair of term_ * term_ | Fst of term_ | Snd of term_ type 'a term = term_ そして，これらのコンストラクタ用の関数を以下のように定義する． let lit n:int term = Lit n let inc (…
