Nuprl Definition : loc-on-path
loc-on-path(es;i;L) == (i ∈ map(λe.loc(e);L))
Definitions occuring in Statement :
es-loc: loc(e),
Id: Id,
l_member: (x ∈ l),
map: map(f;as),
lambda: λx.A[x]
FDL editor aliases :
loc-on-path
loc-on-path
loc-on-path(es;i;L) == (i \mmember{} map(\mlambda{}e.loc(e);L))
Date html generated:
2015_07_17-AM-08_52_31
Last ObjectModification:
2013_03_25-PM-01_51_27
Home
Index