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

rahmenlose Ansicht.out DruckansichtCoq {Coq[72] C[166] Ada[203]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]


type unit0 =
| Tt

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

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

[ Verzeichnis aufwärts0.40unsichere Verbindung  ]