loc-on-path(es;i;L) == (i 
map(
e.loc(e);L))
Definitions :
l_member: (x l),
map: map(f;as),
lambda: x.A[x],
es-loc: loc(e),
Id: Id
FDL editor aliases :
loc-on-path
loc-on-path(es;i;L) == (i \mmember{} map(\mlambda{}e.loc(e);L))
Date html generated:
2010_08_27-AM-09_31_29
Last ObjectModification:
2009_12_16-AM-01_07_51
Home
Index