[[st]] == 
rho:Atom 
'. st-meaning-aux{i:l}(Info;st;rho)
Definitions occuring in Statement :
st-meaning-aux: st-meaning-aux{i:l}(Info;st;rho),
isect: x:A. B[x],
function: x:A B[x],
atom: Atom,
universe: Type
Definitions :
isect: x:A. B[x],
function: x:A B[x],
atom: Atom,
universe: Type,
st-meaning-aux: st-meaning-aux{i:l}(Info;st;rho)
FDL editor aliases :
st-meaning
[[st]] == \mcap{}rho:Atom {}\mrightarrow{} \mBbbU{}'. st-meaning-aux\{i:l\}(Info;st;rho)
Date html generated:
2011_08_17-PM-04_52_52
Last ObjectModification:
2011_02_06-PM-05_18_29
Home
Index