See the documentation of Method.
SIGNATURE MethodEnv[general, result, env] SORT general result env /$ DYNAMIC [general] $/ TYPE method == method(fun : method -> env ** general -> result) FUN recursion : method -> env ** general -> result
next node: ReflectionRepository,
prev node: Method,
up to node: User Subsystem : Reflections