Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/liepring/lib/dim7/3gen/stuff/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 11.5.2024 mit Größe 1 kB image not shown  

Quelle  bug_4078.v   Sprache: unbekannt

 
Module Type S.

Axiom foo : nat.

End S.

Module M : S.

Definition bar := 0.
Definition foo := bar.

End M.

Print All Dependencies M.foo.

Messung V0.5
C=82 H=99 G=90

[ Dauer der Verarbeitung: 0.6 Sekunden  (vorverarbeitet)  ]