Nuprl Definition : C_TYPE_env
C_TYPE_env() == C_LOCATION() ⟶ (C_TYPE()?)
Definitions occuring in Statement :
C_LOCATION: C_LOCATION(),
C_TYPE: C_TYPE(),
unit: Unit,
function: x:A ⟶ B[x],
union: left + right
FDL editor aliases :
C_TYPE_env
Latex:
C\_TYPE\_env() == C\_LOCATION() {}\mrightarrow{} (C\_TYPE()?)
Date html generated:
2016_05_16-AM-08_48_03
Last ObjectModification:
2011_09_13-PM-05_05_37
Theory : C-semantics
Home
Index