カリー化された関数opとそれに適用する引数をリストで受け取り1つずつ適用するようなexpand_args関数を以下のように定義する． let rec expand_args op args = match args with [] -> op | v::rest -> expand_args (op v) rest以下のように使いたい． # expa…