Nuprl Definition : C_Void

C_Void() ==  <"Void", ⋅>



Definitions occuring in Statement :  it: pair: <a, b> token: "$token"
FDL editor aliases :  C_Void
C\_Void()  ==    <"Void",  \mcdot{}>



Date html generated: 2015_07_17-AM-07_42_08
Last ObjectModification: 2014_06_02-PM-05_24_03

Home Index