Nuprl Definition : vr_test_Ackn
vr_test_Ackn(m1) == 
loc,n.{vr_test_ackn'send() m1 
}@|Loc, vr_test_forward'base()|
Definitions occuring in Statement :
vr_test_ackn'send: vr_test_ackn'send(),
vr_test_forward'base: vr_test_forward'base(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
it: ,
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
vr_test_Ackn
vr\_test\_Ackn(m1) == \mlambda{}loc,n.\{vr\_test\_ackn'send() m1 \mcdot{}\}@|Loc, vr\_test\_forward'base()|
Date html generated:
2012_02_20-PM-07_46_15
Last ObjectModification:
2012_02_03-PM-08_16_35
Home
Index