Nuprl Definition : C_Pointer

C_Pointer(to) ==  <"Pointer", to>



Definitions occuring in Statement :  pair: <a, b> token: "$token"
FDL editor aliases :  C_Pointer
C\_Pointer(to)  ==    <"Pointer",  to>



Date html generated: 2015_07_17-AM-07_42_12
Last ObjectModification: 2014_06_02-PM-05_24_47

Home Index