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
SORT instances FUN <> : instances FUN :: : coreReflection ** instances -> instances
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