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
C\_TYPE\_env() == C\_LOCATION() {}\mrightarrow{} (C\_TYPE()?)
Date html generated:
2015_07_17-AM-07_43_40
Last ObjectModification:
2011_09_13-PM-05_05_37
Home
Index