X(e)?v == if e 
X then X(e) else v fi
Definitions :
ifthenelse: if b then t else f fi ,
in-eclass: e X,
eclass-val: X(e)
FDL editor aliases :
es-interface-val?
X(e)?v == if e \mmember{}\msubb{} X then X(e) else v fi
Date html generated:
2010_08_27-PM-02_10_30
Last ObjectModification:
2010_01_25-PM-10_52_06
Home
Index