Nuprl Definition : kindcase
kindcase(k;a.f[a];l,t.g[l; t]) == if islocal(k) then f[act(k)] else g[lnk(k); tag(k)] fi
Definitions occuring in Statement :
actof: act(k),
tagof: tag(k),
lnk: lnk(k),
islocal: islocal(k),
ifthenelse: if b then t else f fi
FDL editor aliases :
kindcase
kindcase(k;a.f[a];l,t.g[l; t]) == if islocal(k) then f[act(k)] else g[lnk(k); tag(k)] fi
Date html generated:
2015_07_17-AM-09_11_51
Last ObjectModification:
2012_02_25-AM-10_52_50
Home
Index