Nuprl Definition : nysiad_Replicas
nysiad_Replicas(actors;add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;X) ==
return-loc-bag-class(λslf.actors)
>z> nysiad_Replica(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;X) z
Definitions occuring in Statement :
nysiad_Replica: nysiad_Replica(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;X),
bind-class: X >x> Y[x],
return-loc-bag-class: return-loc-bag-class(x),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
nysiad_Replicas
Latex:
nysiad\_Replicas(actors;add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;mf;X) ==
return-loc-bag-class(\mlambda{}slf.actors)
>z> nysiad\_Replica(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;mf;X)
z
Date html generated:
2015_07_23-PM-03_47_27
Last ObjectModification:
2014_08_06-PM-03_35_23
Home
Index