See the documentation of MethodImplement.
List of Import References :
See MethodEnv
SIGNATURE MethodEnvImplement[special, general, result, env] SORT special general result env /$ DYNAMIC [special, general] $/ IMPORT MethodEnv[general, result, env] ONLY method : SORT FUN :: : (method -> env ** special -> result) ** method -> method
next node: MethodImplement,
prev node: MethodEnvCompose,
up to node: User Subsystem : Reflections