Nuprl Definition : kind-rename
kind-rename(ra;rt;k) == kindcase(k;a.locl(ra a);l,tg.rcv(l,rt tg))
Definitions occuring in Statement :
kindcase: kindcase(k;a.f[a];l,t.g[l; t]),
locl: locl(a),
rcv: rcv(l,tg),
apply: f a
FDL editor aliases :
kind-rename
kind-rename(ra;rt;k) == kindcase(k;a.locl(ra a);l,tg.rcv(l,rt tg))
Date html generated:
2015_07_17-AM-09_11_57
Last ObjectModification:
2012_02_25-AM-10_52_53
Home
Index