o konstrukcji modułów i interfejs

Question

Chcę definiują interfejsu PROPERTY i co najmniej 2 moduły Type i Formula dopasowania go:

module type PROPERTY = 
sig 
    type t 
    val top : t 
    val bot : t 
    val to_string: t -> string 
    val union: t -> t -> t 
    val intersection: t -> t -> t 
end 

module Type = (struct 
    type t = 
    | Tbot 
    | Tint 
    | Tbool 
    | Ttop 
    ...  
end: PROPERTY) 

module Formula = (struct 
    type t = 
    | Fbot 
    | Ftop 
    | Fplus of int * Type.t 
    ... 
    let union = 
    ... Type.union ... 
    ...  
end: PROPERTY) 

Są dwa warunki:

1) Chciałbym konstruktorzy Type mogą być wywoływani na zewnątrz (wszystkie programy w razie potrzeby)

2) Część niektórych wartości Formula zawiera wartości Types, na przykład Fplus (5, Type.Tint) jest typu Formula; również niektóre funkcje Formula musiałby zadzwonić niektóre funkcje Type np Formula.union musi zadzwonić Type.union

Czy ktoś może mi powiedzieć jak zmienić deklarację wyżej fullfil moje wymagania? W razie potrzeby można dodać dodatkowe moduły ...

Answer 1

Nie należy stosować odlewów uszczelniających : PROPERTY do deklaracji modułu. To ukrywa dodatkowe informacje z zwróconego modułu. należy raczej używać:

module Type = struct .. end 
module Formula = struct .. end 

Jeśli nadal chcesz, aby sprawdzić, Type i Formula spełniają interfejs PROPERTY, można to zrobić oddzielnie:

let() = 
    ignore (module Type : PROPERTY); 
    ignore (module Formula : PROPERTY); 
    ()