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

Untersuchungsergebnis.out Download desHTML {HTML[52] Coq[109] Abap[187]}zum Wurzelverzeichnis wechseln

(** val test : foo **)

let test =
  (fun (b, p) -> bar) (True, False)
(** val test : foo **)

let test =
  True@@?False
(** val test : foo **)

let test =
  True#^^False
(** val test : foo **)

let test =
  True@?:::False
(** val test : foo **)

let test =
  True  @?:::  False

[ zur Elbe Produktseite wechseln0.71Quellennavigators  ]