rec-combined-class-0(b) == 
w.b|n.[][n],(self)'|
Definitions occuring in Statement :
rec-combined-class: f|X,(self)'|,
select: l[i],
lambda: x.A[x],
nil: []
Definitions :
rec-combined-class: f|X,(self)'|,
select: l[i],
nil: [],
lambda: x.A[x]
FDL editor aliases :
rec-combined-class-0
rec-combined-class-0(b) == \mlambda{}w.b|\mlambda{}n.[][n],(self)'|
Date html generated:
2011_08_16-PM-04_53_42
Last ObjectModification:
2011_06_02-PM-05_24_46
Home
Index