List of Import References :
See Method
SIGNATURE MethodImplement[general, special, result] SORT general special result /$ DYNAMIC [general, special] $/ IMPORT Method[general, result] ONLY method : SORT
The expression f :: m yields a method that will invoke
f(x) if x is of the suitable type special,
and m(x) else. The typechecking involved relies on the
dynamic typing and reflection mechanism.
FUN :: : (method -> special -> result) ** method -> method
next node: ReflectionLookup,
prev node: MethodEnvImplement,
up to node: User Subsystem : Reflections