Ocaml Modultyp und Modulzusammenstellung

Question

1) Ich habe eine Unterschrift

module type UINTSIG= 
sig 
type t 
val create: t->t 
end 

2) ich zwei Module erstellen möchten, die die obige Signatur verwenden

so Idealerweise würde ich die Unterschrift in 1 halten möchten , in einer separaten Datei von den Implementierungs- und Signaturdateien der Module, die die Signatur in 1 verwenden. Meine Fragen sind

A) wo sollte ich die Signatur in 1 oben setzen. Soll ich es in uintsig.ml Datei ablegen? B) Wie kann ich in den .mli/ml Dateien der Module ausdrücken, dass sie Signatur in 1 verwenden?

Answer 1

Es ist sinnvoll, Ihre Modultypdefinition in eine Datei namens uintsig.mli zu schreiben.

Sie können dann den Modultyp aus anderen Dateien unter dem Namen Uintsig.UINTSIG beziehen.

(Als Nebenkommentar scheint mir der Modultyp nicht gut zu sein. Es gibt keine Möglichkeit, einen Wert vom Typ t zu erstellen, ohne bereits einen Wert vom Typ t zu haben. Aber es ist nur ein Beispiel, offensichtlich .)