polymorphic-variants

1熱

1答えて

モジュール/ファンクタを使用してより汎用的なコード設計をしようとしています。簡素化するために、私は2つのインターフェイスがあります。 module type T1 = sig type t end;; module type T2 = sig type t end;; をし、私はそうT1.tに基づいてバリアント型でT2.tをインスタンス化したいと思います。しかし Unbound module