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