products/Sources/formale Sprachen/Isabelle/Tools/SML/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Example.sml   Sprache: Unknown

Spracherkennung für: .sml vermutete Sprache: PVS {PVS[57] Isabelle[78] Cobol[100]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

structure Example :> Example =
struct

type t = int

val a = 0
fun b x = x + 1

end

[ Dauer der Verarbeitung: 0.47 Sekunden  ]