next node: Method,
prev node: ReflectionConv,
up to node: User Subsystem : Reflections


Dynamic

Dynamic Sort Information This structure will become THEORY Dynamic in OPAL-2. It makes runtime type information for sorts available to the user.

Signature of Dynamic

List of Import References :
See Reflection

SIGNATURE Dynamic[alpha]

/$ DYNAMIC [alpha] $/

SORT alpha

IMPORT Reflection ONLY sort : SORT

FUN reflectSort : sort


next node: Method,
prev node: ReflectionConv,
up to node: User Subsystem : Reflections