kullanma modülü OCaml 3.11 yılında OCaml

Question

yılında, öyle gibi dahil yönergesini kullanarak mevcut modülü "genişletmek" istiyorum sayılabilir. Ancak şimdi bu modülün türünü açıkça (örneğin, bir .mli dosyasında) göstermek istiyorum. Böyle bir şey istiyorum:

module MyString : sig 
    include String 
    val trim : string -> string 
end 

Ama dize bir modül değil, bir modül tipi ifade eder (ve derleyici kusmuğu Gerçekten de öyle) nedeniyle sözdizimi doğru değil sayılabilir. Nasıl (Bir Sig ifadesinde açıkça yazma dışarı kalmadan) Buraya dize için modül tipine başvurabilir?

Teşekkürler!

Answer 1

OCaml 3.12 Sorununu çözmüş olacağına inanıyorum bir yapı gibi module type of M sahip olacaktır. Bu arada, derleyici ocamlc -i ile uzun imza üretmek olabilir. Üzgünüm, ama sanırım 3.11 ile yapabileceğiniz en iyisi.