next node:
Int
,
prev node:
,
up to node:
Subsystem BasicTypes
Subsystem Numbers
Module Hierarchy Visualization (top-down)
IntConv
NatConv
RealConv
SmallReal
Int
Nat
Real
Nat
Int
IntConv
NatConv
Real
RealConv
SmallReal
next node:
Int
,
prev node:
,
up to node:
Subsystem BasicTypes