A と B の 2 つのモジュールがあり、モジュール A で型を定義すると、
type t1 = THIS of int | THAT of char
次に、モジュール B でそのタイプのパターン マッチングまたはオブジェクトの構築を行いたい場合は、次のようなものを使用する必要があります。
A.THIS(3)
これは、次のようなステートメントがあった後でも、私に強制するものです
type t2 = A.t1
モジュールの署名と実装で。冗長性を減らして「A」を使用しないようにしたい場合はどうすればよいでしょうか。モジュールBで?まったく新しい型と、ある型を別の型に変換する関数を作成できますが、これは扱いにくいようです。足りないものはありますか?