Nuprl Definition : norm-intransit

norm-intransit(intr) ==
  let ev,x,com = intr in
  let t,z = ev
  in eval t' = t in
     eval z' = z in
     eval x' = x in
     eval com' = com in
       <<t', z'>, x', com'>

Definitions occuring in Statement : callbyvalue: callbyvalue, spreadn: spread3, spread: spread def, pair: <a, b>
FDL editor aliases : norm-intransit

Latex:
norm-intransit(intr) == let ev,x,com = intr in let t,z = ev in eval t' = t in eval z' = z in eval x' = x in eval com' = com in <<t', z'>, x', com'> Date html generated: 2015_07_23-AM-11_08_04 Last ObjectModification: 2012_02_25-PM-03_38_44 Home Index