eo-reset-dom(es;d) ==  es["dom" := d]
Definitions occuring in Statement : 
token: "$token", 
record-update: r[x := v]
Definitions : 
record-update: r[x := v], 
token: "$token"
FDL editor aliases : 
eo-reset-dom
eo-reset-dom(es;d)  ==    es["dom"  :=  d]
Date html generated:
2011_08_16-AM-10_20_44
Last ObjectModification:
2010_11_22-PM-04_19_37
Home
Index