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:   Sprache: Unknown

Columbo aufrufen.out zum Wurzelverzeichnis wechselnCoq {Coq[72] C[166] Ada[203]}Datei anzeigen


type unit0 =
| Tt

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

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

[ Original von:0.71Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]