Nuprl Definition : mu_ex_v6_getMachine
mu_ex_v6_getMachine(m1;m2;proc1) == 
loc.if IdDeq loc proc1 then m1 else m2 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_getMachine
mu\_ex\_v6\_getMachine(m1;m2;proc1) == \mlambda{}loc.if IdDeq loc proc1 then m1 else m2 fi
Date html generated:
2012_02_20-PM-07_08_55
Last ObjectModification:
2012_02_02-PM-03_05_36
Home
Index