Nuprl Definition : mData

mData == T:{T:Type| valueall-type(T)}

T

Definitions occuring in Statement : set: {x:A| B[x]} , product: x:A

B[x], universe: Type, valueall-type: valueall-type(T)
FDL editor aliases : mData

mData == T:\{T:Type| valueall-type(T)\} \mtimes{} T Date html generated: 2012_01_23-PM-12_45_46 Last ObjectModification: 2011_12_05-PM-04_30_40 Home Index