Nuprl Definition : C_LOCATION
C_LOCATION() == ℤ
Definitions occuring in Statement :
int: ℤ
FDL editor aliases :
C_LOCATION
Latex:
C\_LOCATION() == \mBbbZ{}
Date html generated:
2016_05_16-AM-08_46_23
Last ObjectModification:
2011_08_29-PM-04_16_46
Theory : C-semantics
Home
Index