Nuprl Definition : aa_test_rec_type
aa_test_rec_type() ==  rec(X.X  )
Definitions occuring in Statement : 
nat: , 
rec: rec(x.A[x]), 
function: x:A  B[x]
FDL editor aliases : 
aa_test_rec_type
aa\_test\_rec\_type()  ==    rec(X.X  {}\mrightarrow{}  \mBbbN{})
Date html generated:
2013_03_20-AM-09_56_46
Last ObjectModification:
2012_11_27-AM-10_33_42
Home
Index