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' = t in
      eval z' = z in
      eval x' = 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 b of inl(x) => s[x] | inr(y) => t[y], inr: inr x , inl: inl x
FDL editor aliases : norm-runinfo

Latex:
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