next node: Dynamic,
prev node: REFLECTION,
up to node: User Subsystem : Reflections


ReflectionConv

Signature of ReflectionConv

List of Import References :
See Reflection

SIGNATURE ReflectionConv

IMPORT Reflection ONLY name : SORT kind : SORT
                       sort : SORT type : SORT struct : SORT

FUN ` : name -> denotation
FUN ` : kind -> denotation
FUN ` : sort -> denotation
FUN ` : type -> denotation
FUN ` : struct -> denotation


next node: Dynamic,
prev node: REFLECTION,
up to node: User Subsystem : Reflections