loc(e) == before(e) @ [e]
Definitions :
append: as @ bs,
es-before: before(e),
cons: [car / cdr],
nil: []
FDL editor aliases :
es-le-before
\mleq{}loc(e) == before(e) @ [e]
Date html generated:
2010_08_27-AM-01_11_25
Last ObjectModification:
2009_12_16-AM-01_01_18
Home
Index