
products/sources/formale sprachen/Isabelle/Tools/SML/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: check-overlays.sh Sprache: Unknown

Untersuchungsergebnis.sig Download desIsabelle {Isabelle[57] C[144] Ada[192]}zum Wurzelverzeichnis wechseln

signature Example =
sig
  type t
  val a: t
  val b: t -> t
end

[ zur Elbe Produktseite wechseln0.60Quellennavigators ]