next node: ReflectionRepository,
prev node: Method,
up to node: User Subsystem : Reflections


MethodEnv

See the documentation of Method.

Signature of MethodEnv

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