Nuprl Definition : C_LVALUE-proper
C_LVALUE-proper(env;lval) == isl(C_TYPE-of-LVALUE(env;lval))
Definitions occuring in Statement :
C_TYPE-of-LVALUE: C_TYPE-of-LVALUE(env;lval),
isl: isl(x)
FDL editor aliases :
C_LVALUE-proper
Latex:
C\_LVALUE-proper(env;lval) == isl(C\_TYPE-of-LVALUE(env;lval))
Date html generated:
2016_05_16-AM-08_48_13
Last ObjectModification:
2011_09_16-PM-06_36_18
Theory : C-semantics
Home
Index