---

X  Y:T ==  f:E(X)  E(Y). f:X  Y:T

---

Definitions :  exists: x:A. B[x],  function: x:A  B[x],  es-E-interface: E(X),  es-fwd-propagation-via: f:X  Y:T
FDL editor aliases :  es-fwd-propagation

---

X  {}\mRightarrow{}  Y:T  ==    \mexists{}f:E(X)  {}\mrightarrow{}  E(Y).  f:X  {}\mRightarrow{}  Y:T


Date html generated: 2010_08_27-PM-02_41_56
Last ObjectModification: 2009_12_16-AM-08_35_39

Home Index