Nuprl Definition : bind-nextouts2

bind-nextouts2(L;dfpY;m) ==
  bag-map(p.let a,s = p 
             in let s',out = df-program-in-state-ap(dfpY a;s;m) 
                in <<a, s'>, out>;L)


Definitions occuring in Statement :  df-program-in-state-ap: df-program-in-state-ap(dfp;s;m),  apply: f a,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  bag-map: bag-map(f;bs)
FDL editor aliases :  bind-nextouts2
bind-nextouts2(L;dfpY;m)  ==
    bag-map(\mlambda{}p.let  a,s  =  p 
                          in  let  s',out  =  df-program-in-state-ap(dfpY  a;s;m) 
                                in  <<a,  s'>,  out>L)


Date html generated: 2012_01_23-PM-12_01_16
Last ObjectModification: 2011_12_16-PM-06_47_11

Home Index