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
eo-reset-dom(es;d)  ==    es["dom"  :=  d]


Date html generated: 2015_07_17-AM-08_34_02
Last ObjectModification: 2013_03_22-PM-08_52_58

Home Index