---

is-run-event(r;t;x) ==
  let info,S = r t in
    isl(info)  let ev,z,m = outl(info) in x = z

---

Definitions :  spread: spread def,  apply: f a,  band: p  q,  isl: isl(x),  spreadn: spread3,  outl: outl(x),  eq_id: a = b
FDL editor aliases :  is-run-event

---

is-run-event(r;t;x)  ==    let  info,S  =  r  t  in  isl(info)  \mwedge{}\msubb{}  let  ev,z,m  =  outl(info)  in  x  =  z


Date html generated: 2010_08_27-PM-03_54_29
Last ObjectModification: 2010_04_28-PM-12_28_49

Home Index