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