Nuprl Definition : mu_ex_v6_getOtherProc
mu_ex_v6_getOtherProc(proc1;proc2) == 
loc.if IdDeq loc proc1 then proc2 else proc1 fi
Definitions occuring in Statement :
id-deq: IdDeq,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
mu_ex_v6_getOtherProc
mu\_ex\_v6\_getOtherProc(proc1;proc2) == \mlambda{}loc.if IdDeq loc proc1 then proc2 else proc1 fi
Date html generated:
2012_02_20-PM-07_08_42
Last ObjectModification:
2012_02_02-PM-03_05_28
Home
Index