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