Nuprl Definition : modelUpdate
M[fnum(x) :=n] ==  let consts,funs = M in <consts, update-alist(IntDeq;funs;fnum;[<x, n>];l.[<x, n> / l])>
Definitions occuring in Statement : 
update-alist: update-alist(eq;L;x;z;v.f[v])
, 
int-deq: IntDeq
, 
cons: [a / b]
, 
nil: []
, 
spread: spread def, 
pair: <a, b>
FDL editor aliases : 
modelUpdate
M[fnum(x)  :=n]  ==    let  consts,funs  =  M  in  <consts,  update-alist(IntDeq;funs;fnum;[<x,  n>];l.[<x,  n>  \000C/  l])>
Date html generated:
2015_07_17-AM-07_57_38
Last ObjectModification:
2013_04_19-AM-00_11_09
Home
Index