module - OCamlでのサブタイピングとモジュールの組み込み

Question

次の設定があるとします

module type FOO = sig type f val do_foo : f end
module type BAR = sig type b val do_bar : b end


module type FOOANDBAR =
  sig 
    include FOO
    include BAR
  end

ここで、（インターフェースをコピーせずに、FOOとBARがサブタイプのままであるように）タイプfとタイプbが同じであるという制限を適用したいと思います。

おそらくincludeキーワードとは異なるアプローチを使用して、OCamlでこれを行うための良い方法はありますか？

ありがとう！！-ジョセフ

Answer 1

module type FOOANDBAR =
  sig 
    include FOO
    include (BAR with type b = f)
  end