rec-combined-loc-class-0(F) == 
l,w.(F l)|Loc, n.[][n], Prior(self)|
Definitions occuring in Statement :
rec-combined-loc-class: f|Loc, X, Prior(self)|,
select: l[i],
apply: f a,
lambda: x.A[x],
nil: []
Definitions :
UnknownObject
select: l[i],
nil: [],
lambda: x.A[x],
apply: f a
FDL editor aliases :
rec-combined-loc-class-0
rec-combined-loc-class-0(F) == \mlambda{}l,w.(F l)|Loc, \mlambda{}n.[][n], Prior(self)|
Date html generated:
2011_08_16-PM-04_55_07
Last ObjectModification:
2011_06_02-PM-05_33_49
Home
Index