Nuprl Definition : mu_ex_v5_getMachine
mu_ex_v5_getMachine(m1;m2;proc1) == 
l.if IdDeq l 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_v5_getMachine
mu\_ex\_v5\_getMachine(m1;m2;proc1) == \mlambda{}l.if IdDeq l proc1 then m1 else m2 fi
Date html generated:
2012_02_20-PM-06_53_21
Last ObjectModification:
2012_02_02-PM-02_57_34
Home
Index