MethodEnvCompose

See the documentation of MethodCompose.

Signature of MethodEnvCompose

List of Import References :
See MethodEnv

SIGNATURE MethodEnvCompose[general, result, env]

SORT general result env
/$ DYNAMIC [general] $/

IMPORT MethodEnv[general, result, env] ONLY method : SORT

FUN :: : (method -> method) ** method -> method

FUN :: : (general -> bool) ** (method -> env ** general -> result) **
          method -> method

next node: MethodEnvImplement,
prev node: MethodCompose,
up to node: User Subsystem : Reflections