Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/layout/reftests/xul/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 2 kB image not shown  

Quelle  ltac2.v   Sprache: unbekannt

 
(* Check that Match arguments are forbidden *)
Ltac E x := apply x.
Goal True -> True.
Fail E ltac:(match goal with
        |  |- _ => intro H
        end).
Abort.

Messung V0.5
C=91 H=88 G=89

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]