Nuprl Definition : modelAdd
M[n:= lbl,i,j] == let consts,funs = M in <update-alist(IntDeq;consts;n;<lbl, i, j>;tr.<lbl, i, j>), funs>
Definitions occuring in Statement :
update-alist: update-alist(eq;L;x;z;v.f[v]),
int-deq: IntDeq,
spread: spread def,
pair: <a, b>
FDL editor aliases :
modelAdd
M[n:= lbl,i,j] == let consts,funs = M in <update-alist(IntDeq;consts;n;<lbl, i, j>tr.<lbl, i, j>),\000C funs>
Date html generated:
2015_07_17-AM-07_57_37
Last ObjectModification:
2013_04_19-PM-06_01_38
Home
Index