Nuprl Definition : C_STOREp
C_STOREp() == C_LOCATION() ⟶ (C_DVALUEp()?)
Definitions occuring in Statement :
C_DVALUEp: C_DVALUEp(),
C_LOCATION: C_LOCATION(),
unit: Unit,
function: x:A ⟶ B[x],
union: left + right
FDL editor aliases :
C_STOREp
Latex:
C\_STOREp() == C\_LOCATION() {}\mrightarrow{} (C\_DVALUEp()?)
Date html generated:
2016_05_16-AM-08_51_19
Last ObjectModification:
2011_09_21-PM-04_14_54
Theory : C-semantics
Home
Index