Module A.
Module B.
Notation mynat := nat.
Notation nat := nat.
End B.
End A.
Print A.B.nat. (* Notation A.B.nat := nat *)
Import A.
Print B.mynat.
Print B.nat.
| Messung V0.5 in Prozent |
|---|
| | | |
[zur Elbe Produktseite wechseln0.7QuellennavigatorsAnalyse erneut starten2026-04-28]
