Nuprl Definition : eo-reset-dom

eo-reset-dom(es;d) ==  es["dom" := d]


Definitions occuring in Statement :  token: "$token",  record-update: r[x := v]
FDL editor aliases :  eo-reset-dom eo-reset-dom
Latex:
eo-reset-dom(es;d)  ==    es["dom"  :=  d]


Date html generated: 2016_05_16-AM-09_13_57
Last ObjectModification: 2013_03_22-PM-08_52_58

Theory : new!event-ordering


Home Index