Nuprl Definition : norm-runinfo

norm-runinfo(info) ==
  case info
   of inl(tr) =>
   let ev,x,ms tr in 
   let t,z ev 
   in eval t' in
      eval z' in
      eval x' in
      eval ms' ms in
        inl <<t', z'>x', ms'>
   inr(z) =>
   inr ⋅ 

Definitions occuring in Statement :  callbyvalue: callbyvalue it: spreadn: spread3 spread: spread def pair: <a, b> decide: case of inl(x) => s[x] inr(y) => t[y] inr: inr  inl: inl x
FDL editor aliases :  norm-runinfo

norm-runinfo(info)  ==
    case  info
      of  inl(tr)  =>
      let  ev,x,ms  =  tr  in 
      let  t,z  =  ev 
      in  eval  t'  =  t  in
            eval  z'  =  z  in
            eval  x'  =  x  in
            eval  ms'  =  ms  in
                inl  <<t',  z'>,  x',  ms'>
      |  inr(z)  =>
      inr  \mcdot{} 

Date html generated: 2015_07_23-AM-11_09_33
Last ObjectModification: 2012_02_25-PM-03_40_07

Home Index