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
C\_LVALUE-proper(env;lval)  ==    isl(C\_TYPE-of-LVALUE(env;lval))
Date html generated:
2015_07_17-AM-07_43_44
Last ObjectModification:
2011_09_16-PM-06_36_18
Home
Index