Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/dom/media/systemservices/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 1 kB image not shown  

Quelle  global_inst.v   Sprache: unbekannt

 
Class Foo := foo : nat.

Definition foo_0 : Foo := 0.

Module X.
  Global Existing Instance foo_0 | 1.
End X.

Existing Instance foo_0 | 2.

Import X.

Print Instances Foo.

Messung V0.5 in Prozent
C=93 H=99 G=95

[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-06-04]