Nuprl Definition : intransit-to-info
intransit-to-info(n2m;l2m;r;env;t;lbl) ==
let n,m,nm = env t r in
let ev,x,c = lbl in
<ev, command-to-msg(c;n2m m;l2m nm)>
Definitions occuring in Statement :
command-to-msg: command-to-msg(c;nmsg;lmsg),
spreadn: spread3,
apply: f a,
pair: <a, b>
FDL editor aliases :
intransit-to-info
Latex:
intransit-to-info(n2m;l2m;r;env;t;lbl) ==
let n,m,nm = env t r in
let ev,x,c = lbl in
<ev, command-to-msg(c;n2m m;l2m nm)>
Date html generated:
2015_07_23-AM-11_17_32
Last ObjectModification:
2012_02_25-PM-03_45_46
Home
Index