X?Y == 
es,e.if bag-null(X es e) then Y es e else X es e fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
bag-null: bag-null(bs)
FDL editor aliases :
class-opt-class
X?Y == \mlambda{}es,e.if bag-null(X es e) then Y es e else X es e fi
Date html generated:
2011_08_16-PM-04_44_25
Last ObjectModification:
2011_08_13-AM-00_09_32
Home
Index