es-init(es;e) == final-iterate(
e.if first(e) then ff else inl pred(e) fi ;e)
Definitions :
final-iterate: final-iterate(f;x),
lambda: x.A[x],
ifthenelse: if b then t else f fi ,
es-first: first(e),
bfalse: ff,
inl: inl x ,
es-pred: pred(e)
FDL editor aliases :
es-init
es-init(es;e) == final-iterate(\mlambda{}e.if first(e) then ff else inl pred(e) fi ;e)
Date html generated:
2010_08_27-AM-09_26_18
Last ObjectModification:
2010_06_02-PM-04_31_13
Home
Index