mosml

3Hitze

1Antwort

Ist dieses Snippet legaler Standard ML gemäß der Definition?

Ist das Code-Snippet unter dem rechtlichen Standard ML gemäß der Definition angegeben? Es Typprüfungen mit Poly/ML, aber nicht mit Moskau ML: infixr 5 ::: ++ signature HEAP_ENTRY = sig type ke