---

run-cause(r) ==
  e.let t,x = fst(run-info(r;e)) in
       if 0 z t  is-run-event(r;t;x) then inl <t, x>  else inr   fi 

---

Definitions :  lambda: x.A[x],  spread: spread def,  pi1: fst(t),  run-info: run-info(r;e),  ifthenelse: if b then t else f fi ,  band: p  q,  le_int: i z j,  natural_number: $n,  is-run-event: is-run-event(r;t;x),  inl: inl x ,  pair: <a, b>,  inr: inr x ,  it:
FDL editor aliases :  run-cause

---

run-cause(r)  ==
    \mlambda{}e.let  t,x  =  fst(run-info(r;e))  in
              if  0  \mleq{}z  t  \mwedge{}\msubb{}  is-run-event(r;t;x)  then  inl  <t,  x>    else  inr  \mcdot{}    fi 


Date html generated: 2010_08_27-PM-06_34_42
Last ObjectModification: 2010_06_16-AM-10_56_00

Home Index