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:
2015_07_23-AM-11_10_29
Last ObjectModification:
2012_02_25-PM-03_40_50
Home
Index