以下のようなヴァリアント型を定義する． 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_ そして，これらのコンストラクタ用の関数…