Proc-out-at(es;P;e) == last(data-stream(P;map(
e.info(e);
loc(e))))
Definitions :
last: last(L),
data-stream: data-stream(P;L),
map: map(f;as),
lambda: x.A[x],
es-info: info(e),
es-le-before: loc(e)
FDL editor aliases :
Proc-out-at
Proc-out-at(es;P;e) == last(data-stream(P;map(\mlambda{}e.info(e);\mleq{}loc(e))))
Date html generated:
2010_08_27-PM-08_03_51
Last ObjectModification:
2010_06_14-PM-06_22_19
Home
Index