| products/sources/formale sprachen/Coq/test-suite/bugs/closed/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: bug_4763.v Sprache: CoqOriginal von: Coq© |
|
||||||
|
Fail Definition pull_if_dep
: forall {A} (P : bool -> Type) (a : A true) (a' : A false) (b : bool), P (if b as b return A b then a else a'). ¤ Dauer der Verarbeitung: 0.3 Sekunden (vorverarbeitet) ¤ |
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.Die farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
