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