Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
sqrtl.387
Sprache: SML
|
\begin{vdm_al}
dlmodule GUI
exports
operations
GetCommand : () ==> seq of seq of char;
GUI_Init_Tcl : () ==>()
uselib
"my_gui.so"
end GUI
\end{vdm_al}
[ Seitenstruktur0.0Drucken
etwas mehr zur Ethik
]
|
