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
C\_STOREp() == C\_LOCATION() {}\mrightarrow{} (C\_DVALUEp()?)
Date html generated:
2015_07_17-AM-07_45_10
Last ObjectModification:
2011_09_21-PM-04_14_54
Home
Index