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


REFLECTION

Signature of REFLECTION

This structure is used by the compiler to generate sort reflections.

SERIOUS WARNING:

DO NOT EVER CHANGE THIS FILE. DO NOT ADD OR REORDER THE FUNCTIONS IN THIS FILE IN ANY WAY. THIS FILE HAS TO BE LEFT AS IS.

(If you know enough about the internals to ignore this warning, you will, well, ignore it anyway...)

SIGNATURE REFLECTION

Instance list

SORT instances

FUN <> : instances
FUN :: : coreReflection ** instances -> instances

Core Reflection

SORT coreReflection

FUN sort : denotation ** denotation ** instances -> coreReflection

FUN value : denotation ** denotation ** instances ** coreType -> coreReflection

SORT coreType

FUN basic : coreReflection -> coreType
FUN <> : coreType
FUN :: : coreType ** coreType -> coreType
FUN function : coreType ** coreType -> coreType


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