Nuprl Definition : norep2_ok
norep2_ok(ldr) == 
loc,n,l.if deq-member(IntDeq;n;l) then {} else {norep2_ok'send() ldr n} fi
Definitions occuring in Statement :
norep2_ok'send: norep2_ok'send(),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
deq-member: deq-member(eq;x;L),
int-deq: IntDeq,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
norep2_ok
norep2\_ok(ldr) == \mlambda{}loc,n,l.if deq-member(IntDeq;n;l) then \{\} else \{norep2\_ok'send() ldr n\} fi
Date html generated:
2012_02_20-PM-03_36_51
Last ObjectModification:
2012_02_02-PM-01_56_53
Home
Index