Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: README.txt   Sprache: Text

Untersuchungsergebnis.out Download desCoq {Coq[72] C[166] Ada[203]}zum Wurzelverzeichnis wechseln


type unit0 =
| Tt

(** val f : unit0 -> unit0 **)

let f _ =
  assert false (* absurd case *)

[ zur Elbe Produktseite wechseln0.67Quellennavigators  ]