Nuprl Definition : csm-msg
csm-msg(sm;i;j;a;b;c) == let C,M,A,B,G,Init,Nxt,Msg = sm in do-apply(Msg i j a b;c)
Definitions occuring in Statement :
spreadn: spread8,
do-apply: do-apply(f;x),
apply: f a
Definitions occuring in definition :
spreadn: spread8,
do-apply: do-apply(f;x),
apply: f a
FDL editor aliases :
csm-msg
Latex:
csm-msg(sm;i;j;a;b;c) == let C,M,A,B,G,Init,Nxt,Msg = sm in do-apply(Msg i j a b;c)
Date html generated:
2016_05_15-PM-05_11_47
Last ObjectModification:
2015_09_23-AM-07_52_21
Theory : general
Home
Index