dt(l;tgs;da) == mk_fpf(tgs;
tg.da(rcv(l,tg))?Void)
Definitions :
mk_fpf: mk_fpf(L;f),
lambda: x.A[x],
fpf-cap: f(x)?z,
Kind-deq: KindDeq,
rcv: rcv(l,tg),
void: Void
FDL editor aliases :
es-tags-dt
dt(l;tgs;da) == mk\_fpf(tgs;\mlambda{}tg.da(rcv(l,tg))?Void)
Date html generated:
2010_08_27-AM-12_03_13
Last ObjectModification:
2008_02_27-PM-09_49_08
Home
Index