Nuprl Definition : C_the_value_p

C_the_value_p(store;lval) ==
  case lval is  
  Ground(loc) => store loc  
  a[idx] => let val_a = case of a in if isl(val_a) then DVp_Array-arr(outl(val_a)) idx else inr ⋅  fi   
  sval.comp =>  let val_s = case of sval in if isl(val_s) then DVp_Struct-struct(outl(val_s)) comp else inr ⋅  fi )


Definitions occuring in Statement :  DVp_Struct-struct: DVp_Struct-struct(v),  DVp_Array-arr: DVp_Array-arr(v),  C_LVALUE_ind: C_LVALUE_ind,  outl: outl(x),  ifthenelse: if b then t else f fi ,  isl: isl(x),  it: ⋅,  apply: f a,  inr: inr x 
FDL editor aliases :  C_the_value_p
C\_the\_value\_p(store;lval)  ==
    case  lval  is   
    Ground(loc)  =>  store  loc   
    a[idx]  =>  let  val$_{a}$  =  case  of  a  in  if  isl(val$_{a}$)
                        then  DVp\_Array-arr(outl(val$_{a}$))  idx
                        else  inr  \mcdot{} 
                        fi     
    sval.comp  =>    let  val$_{s}$  =  case  of  sval  in  if  isl(val$_{s}\mbackslash{}\000Cff24)
                              then  DVp\_Struct-struct(outl(val$_{s}$))  comp
                              else  inr  \mcdot{} 
                              fi  )


Date html generated: 2015_07_17-AM-07_45_27
Last ObjectModification: 2011_09_22-PM-02_36_25

Home Index