Nuprl Definition : run-info

run-info(r;e) ==  let t,x = e in let info,S = r t in let ev,z,m = outl(info) in <ev, m>


Definitions occuring in Statement :  outl: outl(x),  spreadn: spread3,  apply: f a,  spread: spread def,  pair: <a, b>
FDL editor aliases :  run-info
Latex:
run-info(r;e)  ==    let  t,x  =  e  in  let  info,S  =  r  t  in  let  ev,z,m  =  outl(info)  in  <ev,  m>


Date html generated: 2016_05_17-AM-10_41_57
Last ObjectModification: 2012_02_25-PM-03_40_50

Theory : process-model


Home Index